Destide@feddit.uk to Linux@lemmy.mlEnglish · 2 months agoOpen-bar has to be my favourite Gnome extension in a whilegithub.comexternal-linkmessage-square20fedilinkarrow-up1162arrow-down12file-text
arrow-up1160arrow-down1external-linkOpen-bar has to be my favourite Gnome extension in a whilegithub.comDestide@feddit.uk to Linux@lemmy.mlEnglish · 2 months agomessage-square20fedilinkfile-text
I don’t run a lot of extensions on Gnome, but this one is a great way to add some customisation to the desktop.
minus-squareenlie10mint@lemmy.mllinkfedilinkEnglisharrow-up2·2 months agoIn Top Bar Properties, select Type of Bar (Islands) and Height + Margins as needed
In Top Bar Properties, select Type of Bar (Islands) and Height + Margins as needed