panel: Switch workspaces when scrolling over activities
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 (closed)