So, I've tried a handful of GTK apps recently.
They all have TEEENY TINY little fonts. Like, maybe 6pt, if that. For
pretty much everything, especially menus.
Is this likely a preference setting? What program sets the UI widgets shared
by all GNOME apps, or their font choices?
-s