-
Matthias Clasen authored
It doesn't make sense to show a font size with 6 digits. Use the same formatting we use in the font chooser widget now. https://bugzilla.gnome.org/show_bug.cgi?id=724996
1815790b
It doesn't make sense to show a font size with 6 digits. Use the same formatting we use in the font chooser widget now. https://bugzilla.gnome.org/show_bug.cgi?id=724996