Blame | Last modification | View Log | RSS feed
style "gtk-default-ja" {fontset = "-adobe-helvetica-medium-r-normal--14-100-100-100-p-76-iso8859-1,\-ricoh-ms mincho-medium-r-normal--14-*-*-*-*-*-jisx0208.1983-0,\-misc-fixed-medium-r-normal--14-*-*-*-*-*-jisx0208.1983-0,\*-r-*"}class "GtkWidget" style "gtk-default-ja"