https://www.omgubuntu.co.uk/2010/11/omg-5-five-ways-to-switch-between-workspaces-in-ubuntu