-
Benjamin Otte authored
font options are only ever set by the GtkSettings object and only ever used inside GTK, so just store them there.
fec8069e
font options are only ever set by the GtkSettings object and only ever used inside GTK, so just store them there.