Workspaces Bar extension: another workspace indicator

1

Hi,

So I wrote another extension:
https://extensions.gnome.org/extension/3851/workspaces-bar
Well I like to promote my work, ok :innocent: . But this very recent one seems to have some quite happy feedback.

It simply replaces Activities button with workspaces buttons. It’s a tiny extension but I feel it makes Activities button a more useful place. Through Ubuntu scope, it’s not a supplementary Ubuntu Dock’s layer.

1 Like