Someone asked me a few weeks ago whether I knew how to change the default font size in GNOME 3 on Fedora. I have all my boxes on Fedora 17 since before the release, with GNOME 3.4. I had to admit that I’d never looked for how to change the font size in GNOME, but it seemed like something you might want to do, especially on extremely small or large displays. I hadn’t bothered to write this up, but I thought given a news story this morning that it might be useful to others.
I had no clue where to start. So how did I find it? I went to the Overview mode by hitting the super key (you could also use the Activities hot spot or Alt+F1). Then I started typing: f o n t. The first thing that comes up in the menu is the Universal Access setting. I opened it up (I just hit Enter, but you could mouse to it just as easily), and sure enough, under the “Seeing” tab there’s a setting for the default font size!
Proper way is to install “gnome-tweak-tool”.
Presuming this is related to Linus’ G+ post.
//plus.google.com/102150693225130002912/posts/UkoAaLDpF4i
How about gnome-tweak-tool?
While you can use this method to change fonts, it doesn’t give you much control over the sizes. This is especially important with GS since font size is the easiest way to change the height of the window border and without the finer control of font sizes that tweak tool gives you, you’ll have to change all the font sizes.
The problem is, this influences only Gnome/GTk font sizes. The times when a DPI settings for Xorg resized everything are gone.
What? You aren’t going to out me with a link to “someone?” 😉
Pingback: I still don't get Gnome 3