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/
Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?
| Version | Status | Shell Versions |
|---|---|---|
| 5 | Active |
45
46
47
48
|
| 4 | Active |
45
46
47
|
| 3 | Active |
45
46
|
| 2 | Active |
45
|
| 1 | Rejected |
45
|
User Reviews
Loading reviews…