GitHub repository: timbertson/gnome-shell-scroll-workspaces
Primary language: Python
Description: Switch workspaces by scrolling in the top panel