Destide@feddit.uk to Linux@lemmy.mlEnglish · 1 month agoOpen-bar has to be my favourite Gnome extension in a whilegithub.comexternal-linkmessage-square19fedilinkarrow-up1156arrow-down13file-text
arrow-up1153arrow-down1external-linkOpen-bar has to be my favourite Gnome extension in a whilegithub.comDestide@feddit.uk to Linux@lemmy.mlEnglish · 1 month agomessage-square19fedilinkfile-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