esorio / workspace-scroll Goto Github PK
View Code? Open in Web Editor NEWThis project forked from squgeim/workspace-scroll
Gnome Shell Extension to change workspace by scrolling through the top panel.
Home Page: https://extensions.gnome.org/extension/943/workspace-scroll/