I don’t run a lot of extensions on Gnome, but this one is a great way to add some customisation to the desktop.

  • enlie10mint
    link
    fedilink
    English
    arrow-up
    2
    ·
    7 hours ago

    In Top Bar Properties, select Type of Bar (Islands) and Height + Margins as needed