minus-squareenlie10minttoLinux•Open-bar has to be my favourite Gnome extension in a whilelinkfedilinkEnglisharrow-up2·2 months agoIn Top Bar Properties, select Type of Bar (Islands) and Height + Margins as needed linkfedilink
In Top Bar Properties, select Type of Bar (Islands) and Height + Margins as needed