Description
Switch workspace by mouse scroll on the panel and see the Overview by middle-clicking anywhere on the panel.
Switch workspace by mouse scroll on the panel and see the Overview by middle-clicking anywhere 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.