Destide@feddit.uk to Linux@lemmy.mlEnglish · 1 month agoOpen-bar has to be my favourite Gnome extension in a whilegithub.comexternal-linkmessage-square20fedilinkarrow-up1160arrow-down12file-text
arrow-up1158arrow-down1external-linkOpen-bar has to be my favourite Gnome extension in a whilegithub.comDestide@feddit.uk to Linux@lemmy.mlEnglish · 1 month 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·30 days 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