1

I use workspaces heavily, and I have another visual indicator in the top bar to tell me what workspace I am in. By default Gnome has a number like in the screenshot below to show current workspace

The 2 is the element I want to remove top bar

I do not need the default workspace indicator, however there does not seem to be a setting in Gnome Tweak Tool to disable it.

This question pointed me towards an extension to disable the overlay effect, which was pretty annoying. However I haven't found an extension that disables the workspace number, or settings anywhere.

2
  • 2
    That workspace indicator is not a default feature of Gnome 3. It's likely from an extension. Check your extensions in the Gnome Tweak Tool.
    – Mio Rin
    Apr 2, 2018 at 15:07
  • Yes, it was an extension "Workspace Indicator" (preinstalled with Debian-Gnome as far as I can tell). Let this post stand as a testament to my own ignorance, and to aid anyone else in the future. Apr 2, 2018 at 16:19

1 Answer 1

1

The workspace indicator is not a built-in feature of the Gnome desktop. It is provided by the "Workspace Indicator" Gnome extension, which is pre-installed on some Linux distributions.

You can edit its settings or disable it entirely from the Gnome Tweak Tool's extensions section.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .