Gnome 3 extension to disable the workspace switcher popup