fix for gnome shell workspaces