Replace 'Activities' button by all current workspaces buttons. Switch workspace or toggle overview by clicking on these buttons. You can use names for workspaces: there are two ways for that. 1) Edit the string array 'org.gnome.desktop.wm.preferences.workspace-names' gsettings key (through dconf editor, e.g.). 2) Use official GNOME extension Workspaces Indicator's settings. You don't have to write a long enough list: numbers are displayed if no workspace name is defined. This is a GNOME 45+ compatible fork of https://extensions.gnome.org/extension/3851/workspaces-bar/
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Please also null out `this.workspaces_bar` in disable: https://gjs.guide/extensions/review-guidelines/review-guidelines.html#destroy-all-objects If you need any help with your extension you can ask us on: - [GNOME Matrix Channel](https://matrix.to/#/#extensions:gnome.org) - IRC Bridge: irc://irc.gimpnet.org/shell-extensions