Page 2 of 4 FirstFirst 1234 LastLast
Results 11 to 20 of 36

Thread: How to increase the font size of the top menu bar

  1. #11
    Join Date
    Jun 2007
    Location
    Arizona U.S.A.
    Beans
    4,800

    Re: How to increase the font size of the top menu bar

    /usr/share/gnome-shell/theme/gnome-shell.css
    You are in the wrong folder for making the changes. Look inside the theme folder, which for you would be:

    /usr/share/themes/Adwaita-dark

    But, when you do, you find Adwaita-dark doesn't have a gnome-shell theme folder!
    Code:
    dmn@Sydney:/usr/share/themes/Adwaita-dark$ ls
    gtk-2.0  gtk-3.0  index.theme
    Therefore, you need to find a theme that includes a gnome-shell theme folder and set it as your Shell theme in Tweaks. Like this one (Obsidian):
    Code:
    dmn@Sydney:/usr/share/themes/Obsidian$ ls
    assets    gnome-shell  gtk-3.0   index.theme  openbox-3
    cinnamon  gtk-2.0      gtk-3.20  metacity-1
    After doing that, open the gnome-shell folder:
    Code:
    dmn@Sydney:/usr/share/themes/Obsidian/gnome-shell$ ls
    assets  gnome-shell.css  gnome-shell-theme.gresource.xml
    Edit file gnome-shell.css to make the changes. Remember, you also have to set the gnome-shell theme in Tweaks: Themes > Shell

    If you like, you can keep Adwaita-dark as the application theme and use another theme to supply the Shell theme in Tweaks.
    Last edited by Dennis N; September 29th, 2020 at 03:44 PM.

  2. #12
    Join Date
    Apr 2006
    Beans
    2,768

    Re: How to increase the font size of the top menu bar

    Quote Originally Posted by tea for one View Post
    Three ways to find Dash to Panel settings:-

    Navigate to https://extensions.gnome.org/ > Installed Extensions.

    What do you see?
    NetSpeed
    Ubuntu AppIndicators
    Ubuntu Dock

    You can also control all settings including Dash to Panel settings via right click in an empty space on the top bar in Ubuntu 20.04
    I'm running Ubuntu 18.04 Gnome desktop here. Right-click empty space on top bar, nothing happens.

    You can also use gnome-tweaks to access extensions.

    Code:
    sudo apt install gnome-tweaks
    gnome-tweaks has been running here for some time. Before my previous posting I have checked it. Pls see attached screen-shots.

    Thanks
    Attached Images Attached Images

  3. #13
    Join Date
    Apr 2006
    Beans
    2,768

    Re: How to increase the font size of the top menu bar

    Quote Originally Posted by Dennis N View Post
    You are in the wrong folder for making the changes. Look inside the theme folder, which for you would be:

    /usr/share/themes/Adwaita-dark

    But, when you do, you find Adwaita-dark doesn't have a gnome-shell theme folder!
    Code:
    dmn@Sydney:/usr/share/themes/Adwaita-dark$ ls
    gtk-2.0  gtk-3.0  index.theme
    Therefore, you need to find a theme that includes a gnome-shell theme folder and set it as your Shell theme in Tweaks. Like this one (Obsidian):
    Code:
    dmn@Sydney:/usr/share/themes/Obsidian$ ls
    assets    gnome-shell  gtk-3.0   index.theme  openbox-3
    cinnamon  gtk-2.0      gtk-3.20  metacity-1
    After doing that, open the gnome-shell folder:
    Code:
    dmn@Sydney:/usr/share/themes/Obsidian/gnome-shell$ ls
    assets  gnome-shell.css  gnome-shell-theme.gresource.xml
    Edit file gnome-shell.css to make the changes. Remember, you also have to set the gnome-shell theme in Tweaks: Themes > Shell

    If you like, you can keep Adwaita-dark as the application theme and use another theme to supply the Shell theme in Tweaks.
    Hi Dennis

    $ ls /usr/share/themes/
    Code:
    Adwaita       Ambiance  Emacs         Radiance
    Adwaita-dark  Default   HighContrast  Raleigh
    All themes are here.

    $ ls /usr/share/themes/Adwaita/
    Code:
    gtk-2.0  gtk-3.0  index.theme
    $ ls /usr/share/themes/Adwaita-dark/
    Code:
    gtk-2.0  gtk-3.0  index.theme
    $ ls /usr/share/themes/Ambiance/
    Code:
    gtk-2.0  gtk-3.0  gtk-3.20  index.theme  metacity-1  unity
    $ls /usr/share/themes/Default/
    Code:
    gtk-2.0-key  gtk-3.0
    Is this the default theme?

    $ ls /usr/share/themes/Emacs/
    Code:
    gtk-2.0-key  gtk-3.0
    $ ls /usr/share/themes/HighContrast/
    Code:
    gtk-2.0  gtk-3.0  index.theme
    $ ls /usr/share/themes/Radiance/
    Code:
    gtk-2.0  gtk-3.0  gtk-3.20  index.theme  metacity-1 unity
    $ ls /usr/share/themes/Raleigh/
    Code:
    gtk-2.0
    I couldn't find gnome-shell theme folder in any of them.

    Regards

  4. #14
    Join Date
    May 2008
    Beans
    1,030
    Distro
    Ubuntu 20.04 Focal Fossa

    Re: How to increase the font size of the top menu bar

    In your post no.7, you said that you have installed Dash to Panel extension, yet it looks like you haven't installed it all.

    If you had installed it correctly, it would appear in gnome-tweaks.

    I suspect that you have not installed Dash to Panel at all?

  5. #15
    Join Date
    Apr 2006
    Beans
    2,768

    Re: How to increase the font size of the top menu bar

    Quote Originally Posted by tea for one View Post
    In your post no.7, you said that you have installed Dash to Panel extension, yet it looks like you haven't installed it all.

    If you had installed it correctly, it would appear in gnome-tweaks.

    I suspect that you have not installed Dash to Panel at all?
    Yes, but there is a warning

    I'll install it again

    On
    https://extensions.gnome.org/extensi...dash-to-panel/

    The gnome-shell version here is 3.28
    Which is the latest Extension Version to download
    13 or 39?

    Can I install it on repo?

    Thanks

    Regards

  6. #16
    Join Date
    Jun 2007
    Location
    Arizona U.S.A.
    Beans
    4,800

    Re: How to increase the font size of the top menu bar

    I couldn't find gnome-shell theme folder in any of them.
    OK, to go this route, you need to get some themes that offer theming for gnome shell.
    This tutorial offers advice on how to change themes, including gnome-shell themes:
    https://itsfoss.com/install-switch-themes-gnome-shell/
    Once installed, you can try to edit the font size.

    I have used Zuki-shell, Obsidian and Flat-Remix-Dark which all have a gnome-shell theme. They all work in 18.04 I believe.

    I see you are also getting advice on gnome-shell extensions like dash to panel. That may work for you, but I personally don't want launchers on the panel (top or bottom bar) so it's not for me. Your choice.

  7. #17
    Join Date
    May 2008
    Beans
    1,030
    Distro
    Ubuntu 20.04 Focal Fossa

    Re: How to increase the font size of the top menu bar

    Quote Originally Posted by satimis View Post
    Yes, but there is a warning

    I'll install it again

    On
    https://extensions.gnome.org/extensi...dash-to-panel/

    The gnome-shell version here is 3.28
    Which is the latest Extension Version to download
    13 or 39?

    Can I install it on repo?

    Thanks

    Regards
    I do not know the version of Dash to Panel for Ubuntu 18.04 with gnome-shell 3.28.

    You will have to use an internet search to identify compatible versions.

    As I mentioned in post no. 3 where you asked about font sizes, Dash to Panel will allow you to choose font sizes.

    If you are having difficulty in installing gnome-extensions, I suggest that you start a new thread.

  8. #18
    Join Date
    May 2008
    Beans
    1,030
    Distro
    Ubuntu 20.04 Focal Fossa

    Re: How to increase the font size of the top menu bar

    Please show output of this command in code tags

    Code:
    gnome-extensions list
    Example from my PC

    Code:
    edited@edited:~$ gnome-extensions list
    dash-to-panel@jderose9.github.com
    user-theme@gnome-shell-extensions.gcampax.github.com
    drawOnYourScreen@abakkk.framagit.org
    workspace-indicator@gnome-shell-extensions.gcampax.github.com
    desktop-icons@csoriano
    ubuntu-appindicators@ubuntu.com
    ubuntu-dock@ubuntu.com

  9. #19
    Join Date
    Jun 2007
    Location
    Arizona U.S.A.
    Beans
    4,800

    Re: How to increase the font size of the top menu bar

    The gnome-shell version here is 3.28
    Which is the latest Extension Version to download
    13 or 39?
    A tip on installing extensions in general: you should not use the 'Download' option. Just use the off/on switch in upper right and turn it on. It will detect your Ubuntu version and install the correct version of the extension.

  10. #20
    Join Date
    Apr 2006
    Beans
    2,768

    Re: How to increase the font size of the top menu bar

    Quote Originally Posted by tea for one View Post
    Please show output of this command in code tags

    Code:
    gnome-extensions list
    ........
    $ gnome-extensions list
    Code:
    N: Unable to locate package gnome-extensions
     has no directories
    $ apt policy gnome-shell-extensions
    Code:
    gnome-shell-extensions:
      Installed: 3.28.0-2
      Candidate: 3.28.0-2
      Version table:
     *** 3.28.0-2 500
            500 http://hk.archive.ubuntu.com/ubuntu bionic/universe amd64 Packages
            500 http://hk.archive.ubuntu.com/ubuntu bionic/universe i386 Packages
            100 /var/lib/dpkg/status
    $ apt policy chrome-gnome-shell
    Code:
    chrome-gnome-shell:
      Installed: 10-1
      Candidate: 10-1
      Version table:
     *** 10-1 500
            500 http://hk.archive.ubuntu.com/ubuntu bionic/universe amd64 Packages
            500 http://hk.archive.ubuntu.com/ubuntu bionic/universe i386 Packages
            100 /var/lib/dpkg/status
    But still I couldn't find Dash-Panel on gnome-tweaks. Pls refer to attached screenshots

    Regards
    Attached Images Attached Images

Page 2 of 4 FirstFirst 1234 LastLast

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
  •