Destide@feddit.uk to Linux@lemmy.mlEnglish · 23 days agoOpen-bar has to be my favourite Gnome extension in a whilegithub.comexternal-linkmessage-square22fedilinkarrow-up1160arrow-down13file-text
arrow-up1157arrow-down1external-linkOpen-bar has to be my favourite Gnome extension in a whilegithub.comDestide@feddit.uk to Linux@lemmy.mlEnglish · 23 days agomessage-square22fedilinkfile-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·21 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