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