GNOME Bugzilla – Bug 643503
Add a "smaller" font size option
Last modified: 2011-02-28 16:26:34 UTC
Some people with especially high visual acuity or with unusually high information density needs may desire a smaller font size. We can offer this in the font size dropdown.
Sure thing.
Fixed in gnome-control-center and in the gnome-settings-daemon media-keys plugin (which handles the shortcut for changing the text size).