G-dH/workspace-switcher-manager
GNOME Shell extension that adds workspace switcher options and allows you to customize workspace switcher popup and make it useful.
JavaScriptGPL-3.0
GNOME Shell extension that adds workspace switcher options and allows you to customize workspace switcher popup and make it useful.
JavaScriptGPL-3.0