I don’t run a lot of extensions on Gnome, but this one is a great way to add some customisation to the desktop.
You must log in or register to comment.
In Top Bar Properties, select Type of Bar (Islands) and Height + Margins as needed
I don’t run a lot of extensions on Gnome, but this one is a great way to add some customisation to the desktop.
In Top Bar Properties, select Type of Bar (Islands) and Height + Margins as needed