Improve the font options support
authorMatthias Clasen <mclasen@redhat.com>
Thu, 2 Jul 2015 02:15:56 +0000 (19:15 -0700)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 2 Jul 2015 02:15:56 +0000 (19:15 -0700)
commita0e8d8db0bfc3f3c4a1120b77aa6b2eb01e99eea
treeb356272a89431b33d1c7aeebc5632e725684b354
parente9b847736c681e8d6e6feab33dcf8ee69a7a6c83
Improve the font options support

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
gtk/gtkwidget.c