Closed redscorpse closed 4 months ago
That is the default Gnome workspace dots indicator. It was introduced in Gnome 45, iirc. Open Bar adds the shape/color/border styles to it.
If you are on Gnome 45+, you will have it, unless you installed an extension that hides or replaces it.
Oh tanks for answering. Currently I am on Debian 12, using GNOME 43.9 so that's why I don't have it yet.
I would like to know how can i get the same workspace indicator as the one that is shown on screenshots: