How to increase the font size of the top menu bar

[satimis]

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

[satimis]

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

gnome-extensions: command not found

How to proceed to enlarge font on top menu bar? Thanks

Regards

[satimis]

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

[tea for one]

$ gnome-extensions list

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.

[satimis]

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

[tea for one]

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

Position Style Behaviour Action Fine-Tune About

[satimis]

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

[tea for one]

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?

[satimis]

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

[tea for one]

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.