gnome-shell-extension-panel-workspace-scroll. Switch workspace by mouse scroll on the panel.