https://github.com/timbertson/gnome-shell-scroll-workspaces
GitHub - timbertson/gnome-shell-scroll-workspaces: Switch workspaces by scrolling in the top panel...
Switch workspaces by scrolling in the top panel. Contribute to timbertson/gnome-shell-scroll-workspaces development by creating an account on GitHub.