GitHub repository: Croplight/gnome-shell-scroll-workspaces
Description: Switch workspaces by scrolling in the top panel