Switch workspaces by scrolling in the top panel
Home Page:https://extensions.gnome.org/extension/701/top-panel-workspace-scroll/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool