GNOME Shell extension that adds workspace switcher options and allows you to customize workspace switcher popup and make it useful.
GNOME Shell extension that adds workspace switcher options and allows you to customize workspace switcher popup and make it useful.