This GNOME Shell extension offers following features: - Buttons to switch to left and right workspace - Shows index of active workspace (click it for overview) [Can hide it in preferences] - Hides "Activities" button [Can turn this off in preferences]
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Workspace Switch Buttons