Workspace switching on the toolbar via the mouse buttons
minor code simplifications