...just experienced it again switching workspaces using Ctrl+Alt+Up Arrow Key, at the end of the switch.
...just experienced it again switching workspaces using Ctrl+Alt+Up Arrow Key, at the end of the switch.