Changing font size in GNOME 3.4 on Fedora 17.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! | |
7 Comments |
|
gazing also into you |
The Grand Fallacy is powered by Wordpress, designed by Justin Wong, and maimed by Paul W. Frields
Tomasz said,
June 5, 2012 @ 9:35 am
Proper way is to install “gnome-tweak-tool”.
Leif Gruenwoldt said,
June 5, 2012 @ 10:31 am
Presuming this is related to Linus’ G+ post.
https://plus.google.com/102150693225130002912/posts/UkoAaLDpF4i
None said,
June 5, 2012 @ 1:04 pm
How about gnome-tweak-tool?
liam said,
June 5, 2012 @ 2:54 pm
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.
covex said,
June 6, 2012 @ 3:48 pm
The problem is, this influences only Gnome/GTk font sizes. The times when a DPI settings for Xorg resized everything are gone.
John Poelstra said,
June 7, 2012 @ 12:51 am
What? You aren’t going to out me with a link to “someone?”
I still don't get Gnome 3 said,
June 12, 2012 @ 9:36 am
[...] 2 and other Fedora 17 desktop environments (I tried three of them). I’ll raise my hand as one of the people who asked Paul Frields for help changing the font size because I couldn’t figure out how to do it. It’s [...]