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