Switch workspace by mouse scroll on the panel. In contrast to alternative extensions purpose of this one is to use the native scroll handler of gnome-shell, so workspace scroll should behave exactly the same as overview scroll or workspace indicator scroll.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Panel Workspace Scroll