Blame | Last modification | View Log | RSS feed
style "gtk-default-iso-8859-14" {fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\-*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-14,\-*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-14,*-r-*"}class "GtkWidget" style "gtk-default-iso-8859-14"