We have to think about a new problem now:
* How should the workspace switcher icon behave if someone uses more than 4 workspaces/viewports ?
I would say, let's cycle them then: workspace 5 == icon 1, workspace 6 == icon 2 and so on...
We have to think about a new problem now:
* How should the workspace switcher icon behave if someone uses more than 4 workspaces/ viewports ?
I would say, let's cycle them then: workspace 5 == icon 1, workspace 6 == icon 2 and so on...