Blame | Last modification | View Log | RSS feed
style "default-text" { fontset = "-*-helvetica-medium-r-normal--*-120-*-*-p-*-*-*" } class "GtkWidget" style "default-text"
style "default-text" {
fontset = "-*-helvetica-medium-r-normal--*-120-*-*-p-*-*-*"
}
class "GtkWidget" style "default-text"