blob: fcadc4898a42af6fa4da84abc703f80346a43944 (
plain)
1
2
3
4
5
6
7
8
|
style "gtk-default-eo" {
fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
-*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-3,\
-*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-3"
}
class "GtkWidget" style "gtk-default-eo"
|
