-
Matthias Clasen authored
We don't want repeated calls to set_title_font to blow up the font size ever more, so reset the font each time. https://bugzilla.gnome.org/show_bug.cgi?id=640712
ea6e5741
We don't want repeated calls to set_title_font to blow up the font size ever more, so reset the font each time. https://bugzilla.gnome.org/show_bug.cgi?id=640712