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