Page 3 of 4 FirstFirst 1234 LastLast
Results 21 to 30 of 36

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

  1. #21
    Join Date
    Apr 2006
    Beans
    2,800

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

    Quote Originally Posted by Dennis N View Post
    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.
    Hi,

    Thanks for your advice. Now I have dash-to-panel installed

    Regards

  2. #22
    Join Date
    Apr 2006
    Beans
    2,800

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

    Hi tea for one,

    Hi

    Now I have dash-to-panel installed and it can be found on Gnome-Tweaks.

    Tuning it ON;
    Top menu bar disappears
    Left vertical bar moves to bottom

    $ gnome-extensions list
    Code:
    gnome-extensions: command not found
    How to proceed to enlarge font on top menu bar? Thanks

    Regards

  3. #23
    Join Date
    Apr 2006
    Beans
    2,800

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

    Hi all,

    Now I can increase the font size on top menu bar.

    I solved my problem according to following article;
    How to change the font in GNOME's top bar
    https://www.modmy.com/how-change-font-gnomes-top-bar

    Anyway lot of thanks for all of you to assist me.

    Regards

  4. #24
    Join Date
    May 2008
    Beans
    1,155
    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

    $ gnome-extensions list
    Code:
    gnome-extensions: command not found
    To avoid misinterpretation, it would be advisable to post the command used and the output in the same code block.
    gnome-extensions list is different from gnome-extensions.

    To access the settings in Dash to Panel (via GUI):-

    Open gnome-tweaks > Extensions > Little Gear Wheel to the right of Dash to Panel.
    Fine-Tune will change font sizes.
    Attached Images Attached Images

  5. #25
    Join Date
    Apr 2006
    Beans
    2,800

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

    Quote Originally Posted by tea for one View Post
    To access the settings in Dash to Panel (via GUI):-

    Open gnome-tweaks > Extensions > Little Gear Wheel to the right of Dash to Panel.
    Fine-Tune will change font sizes.
    No Fine-Tune setting

    Pls see attached screenshot

    Tuning ON Dash to Panel, Top menu bar and the vertical left menu bar disappear.

    Regards
    Attached Images Attached Images

  6. #26
    Join Date
    May 2008
    Beans
    1,155
    Distro
    Ubuntu 20.04 Focal Fossa

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

    Do you not have six tabs at the top of the page in your screenshot?

    Position Style Behaviour Action Fine-Tune About
    Attached Images Attached Images
    Last edited by tea for one; September 30th, 2020 at 12:58 PM. Reason: Added screenshot

  7. #27
    Join Date
    Apr 2006
    Beans
    2,800

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

    Quote Originally Posted by tea for one View Post
    Do you not have six tabs at the top of the page in your screenshot?

    Position Style Behaviour Action Fine-Tune About
    No. My screenshot shows the whole page of my Dash to Panel

    Your Dash to Panel looks completely different to my Dash to Panel

    Regards

  8. #28
    Join Date
    May 2008
    Beans
    1,155
    Distro
    Ubuntu 20.04 Focal Fossa

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

    Well, we're not making much progress so far.........

    In your position, it would appear that something is amiss, therefore, I would completely remove Dash to Panel and then install it again from the extensions website.

    Navigate to https://extensions.gnome.org/ > Installed extensions > Dash to Panel > Uninstall.

    Double check that there are no remnants in ~/.local/share/gnome-shell/extensions/dash-to-panel@jderose9.github.com$.

    Remove the Dash to Panel folder if it is still there.

    Power off the PC completely and have a cup of tea/cold beer or your beverage of choice.

    Power on and install the extension again via https://extensions.gnome.org/

    Any joy?

  9. #29
    Join Date
    Apr 2006
    Beans
    2,800

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

    Hi tea for one,

    Thanks for your continue advice and time spent.

    I'll get a spare PC to test it. I'll come back after the test.

    Regards

  10. #30
    Join Date
    May 2008
    Beans
    1,155
    Distro
    Ubuntu 20.04 Focal Fossa

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

    You don't really need a spare PC to carry out tests.

    For example, you could make a live usb with persistence, assuming you still have access to your Ubuntu Iso.

    Preferably, download Ubuntu 20.04 for an up-to-date test.

    Then, install gnome-tweaks, chrome-gnome-shell and Dash to Panel.

Page 3 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
  •