gnome-shell-extension-panel-workspace-scroll Switch workspace by mouse scroll on the panel. Install make install reload the session