Gnome Shell 3 Extension to change workspace by scrolling through the top panel.
https://extensions.gnome.org/extension/943/workspace-scroll/
Polkurier/Workspace-Scroll
Gnome Shell Extension to change workspace by scrolling through the top panel.
JavaScript