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 #6928 Part-of: <!2933>