Making quick-switching to workspaces work again

Excuse my poor Python knowledge again ;)