style "gtk-default-iso-8859-2" {
fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
- -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\"
- -*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-2,\"
+ -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
+ -*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-2,\
-*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-2"
}
class "GtkWidget" style "gtk-default-iso-8859-2"