Details |
Last modification |
View Log
| RSS feed
| Rev |
Author |
Line No. |
Line |
| 4 |
- |
1 |
style "gtk-default-ja" {
|
|
|
2 |
fontset = "-adobe-helvetica-medium-r-normal--14-100-100-100-p-76-iso8859-1,\
|
|
|
3 |
-ricoh-ms mincho-medium-r-normal--14-*-*-*-*-*-jisx0208.1983-0,\
|
|
|
4 |
-misc-fixed-medium-r-normal--14-*-*-*-*-*-jisx0208.1983-0,\
|
|
|
5 |
*-r-*"
|
|
|
6 |
}
|
|
|
7 |
class "GtkWidget" style "gtk-default-ja"
|
|
|
8 |
|