gnomeExtensions.simple-workspaces-bar
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/
- Name
- gnome-shell-extension-simple-workspaces-bar
- Homepage
- Version
- 8
- License
- Maintainers
- Platforms
- aarch64-linux
- armv5tel-linux
- armv6l-linux
- armv7a-linux
- armv7l-linux
- i686-linux
- loongarch64-linux
- m68k-linux
- microblaze-linux
- microblazeel-linux
- mips-linux
- mips64-linux
- mips64el-linux
- mipsel-linux
- powerpc-linux
- powerpc64-linux
- powerpc64le-linux
- riscv32-linux
- riscv64-linux
- s390-linux
- s390x-linux
- x86_64-linux
- Defined
- Source