-
Matthias Clasen authored
Instead of just overwriting the default options, merge the per-widget font options with the defaults. https://bugzilla.gnome.org/show_bug.cgi?id=751811
a0e8d8db
Instead of just overwriting the default options, merge the per-widget font options with the defaults. https://bugzilla.gnome.org/show_bug.cgi?id=751811