Page 1 of 19 12311 ... LastLast
Results 1 to 10 of 190

Thread: Ubuntu with Gnome Shell: How do I change the font size in top panel

  1. #1
    Join Date
    Jan 2006
    Location
    Durban, South Africa
    Beans
    834
    Distro
    Ubuntu Development Release

    Ubuntu with Gnome Shell: How do I change the font size in top panel

    I am using Gnome Shell in 11.10 on my production machine; What I have noticed is that the top panel fonts are quite large and out of proportion with system fonts; and so are the dialogue boxes that pop up when icons are clicked/selected in the top panel; I suspect this behavior is from large font sizes?? or is this the usual panel behavior?

    Any one show me how to adjust fonts on the top panel in Gnome Shell?

    System I am using: Dell Vostro 3700, Nvidia 330m GForce. (up to date and all additional drivers installed using jockey).

    Thanks in advance.

    SwB
    Howzit! 8) Ubuntu User #21505 Registered Linux user #408849

  2. #2
    Join Date
    Jan 2006
    Location
    Durban, South Africa
    Beans
    834
    Distro
    Ubuntu Development Release

    Re: Ubuntu with Gnome Shell: How do I change the font size in top panel

    A GUI based tool will be great.
    Howzit! 8) Ubuntu User #21505 Registered Linux user #408849

  3. #3
    Join Date
    Oct 2010
    Location
    Norfolk, UK
    Beans
    318
    Distro
    Ubuntu 13.04 Raring Ringtail

    Re: Ubuntu with Gnome Shell: How do I change the font size in top panel

    Install gnome-tweak-tool from Synaptic. When you launch it (it's listed as Advanced Settings) click on fonts and change the text scaling factor.

  4. #4
    Join Date
    Jan 2006
    Location
    Durban, South Africa
    Beans
    834
    Distro
    Ubuntu Development Release

    Re: Ubuntu with Gnome Shell: How do I change the font size in top panel

    I think changes the DPI scaling--not the font size; this thread talks about it a bit; but i want to know if there anyone who has built a GUI for this??
    Howzit! 8) Ubuntu User #21505 Registered Linux user #408849

  5. #5
    Join Date
    Aug 2005
    Location
    Northern Michigan USA
    Beans
    2,162
    Distro
    Xubuntu 14.04 Trusty Tahr

    Re: Ubuntu with Gnome Shell: How do I change the font size in top panel

    gnometweak is a GUI

  6. #6
    Join Date
    Jan 2006
    Location
    Durban, South Africa
    Beans
    834
    Distro
    Ubuntu Development Release

    Re: Ubuntu with Gnome Shell: How do I change the font size in top panel

    Okay--I think I did not make myself clear; I am using gnome-tweak-tool; it does font settings for system; I have set the font size to 9 pts; it does change the panel font size as well, but not to 9pts--the solution mentioned in the link I posted on the other hand does it well.
    What I am asking if there is a GUI solution for this--so that beginners, like me (even though I have been using Ubuntu for close to 6 years), can customize the interface to their linking.
    Howzit! 8) Ubuntu User #21505 Registered Linux user #408849

  7. #7
    Join Date
    Aug 2005
    Location
    Northern Michigan USA
    Beans
    2,162
    Distro
    Xubuntu 14.04 Trusty Tahr

    Re: Ubuntu with Gnome Shell: How do I change the font size in top panel

    I think you can get the same result in gnome tweak by moving the text scaling facor to the right. For some reason on my machine the font numbers do nothing but the text scaling works. Very unintuitive.

  8. #8
    Join Date
    Jun 2010
    Beans
    1

    Re: Ubuntu with Gnome Shell: How do I change the font size in top panel

    Faced the same problem, gnome-tweak-tool (besides it stopped working at all for some odd reason) is lacking this feature.

    It wasn't too hard though, editing the gnome-shell css file directly did the trick for me:

    sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css

    In the text file, look for the "#Panel" setting (without quotes). Underneath should be a "font-size" setting, in my case the value was set to 10.5 - setting it to 9.5 worked fine for me.

    Save the text file and exit gedit.

    Now restart gnome-shell by pressing the key combination ALT-F2. Enter the single letter "r" (without quotes) and press the Enter key. Gnome-shell now should reload with your new settings. Make sure not to mess around too much in that css file Succes!

    More info here:

    http://ubuntuforums.org/showthread.php?t=1479239

  9. #9
    Join Date
    Jan 2006
    Location
    Durban, South Africa
    Beans
    834
    Distro
    Ubuntu Development Release

    Re: Ubuntu with Gnome Shell: How do I change the font size in top panel

    Thanks I did that--now how to get the pop-ups and border paddings to honor the screen dpi settings--at the moment, they are huge, I want the fonts and bubbles that pop up when you click on username to be reasonably small--not like now, it occupies >75% of the vertical screen space.
    Howzit! 8) Ubuntu User #21505 Registered Linux user #408849

  10. #10
    anewguy is offline I Ubuntu, Therefore, I Am
    Join Date
    Jun 2007
    Location
    Sometimes I visit earth
    Beans
    5,437
    Distro
    Ubuntu 12.04 Precise Pangolin

    Wink Re: Ubuntu with Gnome Shell: How do I change the font size in top panel

    So you'd like a GUI to change the css file for gnome, correct?

    I don't know squat about css, except what the initials stand for, so I wouldn't know what to put in for options, but I'd be willing to start working on such a tool - I just thought it already existed.

    It might also be something that could be changed in one of the HTML tools - especially if it's a WSIWIG in terms of change the css and the preview changes to reflect it.

    Also, is any of this still valid if you're running Unity?

    Dave

Page 1 of 19 12311 ... LastLast

Tags for this Thread

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •