Gnome 3 extension to disable the workspace switcher popup
Primary LanguageJavaScriptGNU General Public License v2.0GPL-2.0