Ask Your Question
0

How do I change font size in GNOME?

asked 2014-02-24 21:13:10 -0600

florian gravatar image

updated 2014-10-01 11:56:31 -0600

mether gravatar image

How do I change font size for GNOME?

edit retag flag offensive close merge delete

3 Answers

Sort by » oldest newest most voted
2

answered 2014-02-24 22:25:32 -0600

skytux gravatar image

First you need to install gnome-tweak-tool. Then select Fonts and you will see the different options to change fonts and sizes.

HTH,

Germán

edit flag offensive delete link more

Comments

That was an easy one. Thanks!

florian gravatar imageflorian ( 2014-03-06 17:54:47 -0600 )edit
1

answered 2014-02-25 10:48:20 -0600

ryanlerch gravatar image

updated 2014-02-25 10:49:36 -0600

The quick and easy way

Most font-sizes can be changed with the GNOME tweak tool. To install the tweak tool, search for it in GNOME Software, or install from the command line with

sudo yum install gnome-tweak-tool

Once installed, launch GNOME Tweak Tool, and click on the Fonts section from the list on the left. The bottom item in this page is the "Font Scaling Factor". This will scale all the fonts in GNOME (including the GTK and GNOME Shell fonts)

image description

The harder way, but gives you more choices

If you want more control over the sizes of fonts of different elements, you will still need to install gnome-tweak-tool. Once you have, the top 4 items on the fonts page in the tweak tool allow you to change the Fonts (and sizes) for the Window Titles, Generic Interface Font, Document and Monoface Fonts.

However, this only changes the fonts and sizes for GTK-style things (windows, and inside them). The font for GNOME-shell things (like the black top bar, and the overlay that shows when you click Activities) is controlled by the GNOME Shell theme.

You will need to create a new GNOME Shell theme, edit the CSS, and enable that theme. To do that, first create a folder for your new theme with:

sudo mkdir /usr/share/themes/MyNewTheme/

Then copy the default gnome-shell theme into that folder with:

sudo cp -R /usr/share/gnome-shell/theme/ /usr/share/themes/MyNewTheme/gnome-shell/

Now go back to gnome-tweak-tool, and click on extensions, and enable the "User Themes" extension. Close tweak-tool and reopen it.

Now, click on the appearance item from the top of the list on the left in Tweak Tool, and set the "Shell Theme" item to "MyNewTheme". Nothing should change here, because our theme is the same as the Default.

Now, edit the CSS file with:

sudo vi /usr/share/themes/MyNewTheme/gnome-shell/gnome-shell.css

You can change the font-size for most of the shell by changing the font-size value in the opening stage rule:

stage {
    font-family: cantarell, sans-serif;
    font-size: 14pt;
    color: white;
}

Note also that you can change the Font Family there too (somthing that can't be done with the tweak tool alone for GNOME Shell)

Finally, make the changes visible by restarting the shell. To restart GNOME Shell, press Alt + F2, type r, then press enter.

edit flag offensive delete link more
0

answered 2015-05-30 12:29:28 -0600

grenade gravatar image

updated 2015-05-30 12:34:18 -0600

In Fedora 22 the default text-scaling-factor is set to 1.0. You can modify this value from the terminal.

  • to increase (double) the font size:

    gsettings set org.gnome.desktop.interface text-scaling-factor 2.0

  • to decrease (half) the font size:

    gsettings set org.gnome.desktop.interface text-scaling-factor 0.5

  • to check the current text-scaling-factor:

    gsettings get org.gnome.desktop.interface text-scaling-factor

  • to set the font and size of specific components:

    gsettings set org.gnome.desktop.interface monospace-font-name "Monospace 10"

    gsettings set org.gnome.desktop.interface document-font-name 'Sans 10'

    gsettings set org.gnome.desktop.interface font-name 'Cantarell 10'

    gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Cantarell Bold 10'

edit flag offensive delete link more

Question Tools

1 follower

Stats

Asked: 2014-02-24 21:13:10 -0600

Seen: 44,609 times

Last updated: May 30 '15