Results 1 to 5 of 5

Thread: Gnome 3: activities bar font size

  1. #1
    Join Date
    Apr 2010
    Beans
    498
    Distro
    Ubuntu 13.04 Raring Ringtail

    Gnome 3: activities bar font size

    Hi everybody! Yesterday I installed Gnome 3 and the first thing I noticed is a new bar, the activities bar, and the new notifications system. I've looked around, with no luck, trying to change the size of the font of this bar (and dialogs). So I decided to ask my friends on ubuntuforums if someone knows how to do it.

    Thanks in advance!

    Kind regards!
    Bad command. Bad, bad command! Sit! Stay! Staaaaay!!!.

  2. #2
    Join Date
    Oct 2006
    Beans
    178

    Re: Gnome 3: activities bar font size

    gnome-tweak-tool might have what you are looking for, it's the only way I've found to change settings in gnome 3 so far.

  3. #3
    Join Date
    Oct 2006
    Beans
    12
    Distro
    Ubuntu Development Release

    Re: Gnome 3: activities bar font size

    I dont think that it's doable with gnome-tweak-tool (yet)

    If you use the gnome-shell theme extension you can edit the theme you use manually in .themes/<theme name>/gnome-shell/gnome-shell.css or if you just got a stock gnome 3 install in /usr/share/gnome-shell/theme/gnome-shell.css

    Just search for ".panel-button" and change the font-size (if its not there just add "font-size: 12px;" within the brackets of that class, ofc: if you want a different font size just change 12 to whatever you feel like.

  4. #4
    Join Date
    Feb 2013
    Beans
    3

    Thumbs up Re: Gnome 3: activities bar font size

    hey there,
    I had the same problem with the font size of Activities bar + my 'system-monitor' shell extension was replacing the clock in the middle. Got rid of both!!
    For font size, sgapp's trick worked (thanks @sgaap).
    For the clock in the middle, i found an option in the shell-extension itself which says 'Move the clock' (is that so simple!!!). Just uncheck it & there you go. To get to shell-extension's option, go to https://extensions.gnome.org/local/ and in front of 'system-montior' extention among other, there will be an option saying 'configure'. That's it.

  5. #5
    Join Date
    Jul 2007
    Location
    Magic City of the Plains
    Beans
    Hidden!
    Distro
    Ubuntu Development Release

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
  •