timbertson / gnome-shell-scroll-workspaces

Switch workspaces by scrolling in the top panel

Change workspaces by scrolling while over the top panel in Gnome Shell.

Building

(requires python)

# compile stuff:
./tools/gup

# make a zip:
./tools/gup zip