on Open-bar has to be my favourite Gnome extension in a while · c/linux · 2 pts · 1yIn 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