| |||||||||||||
Another comic success!Another comic success!Posted Sep 28, 2012 14:07 UTC (Fri) by thebluesgnr (guest, #37963)In reply to: Another comic success! by bronson Parent article: GNOME 3.6 released
You can easily change the font size in the settings. What requires a great deal of work (that is: launching gnome-tweak-tool) is setting each font face individually, and for different types of controls; something no other sensible OS provides either by default or with an easily available customization program.
(Log in to post comments)
|
|||||||||||||