c7208df8b3
The activities button now shows workspace indicators instead of a label. Adding the ability to switch workspaces without entering the overview seems like a logical extension. Closes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6928 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2933>