Details |
Last modification |
View Log
| RSS feed
| Rev |
Author |
Line No. |
Line |
| 4 |
- |
1 |
style "gtk-default-iso-8859-15" {
|
|
|
2 |
fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
|
|
|
3 |
-*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
|
|
|
4 |
-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-15,\
|
|
|
5 |
-*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-15,*-r-*"
|
|
|
6 |
}
|
|
|
7 |
class "GtkWidget" style "gtk-default-iso-8859-15"
|
|
|
8 |
|