I’ve recently moved back to a workflow more similar to vanilla GNOME than to Windows.
Dash to Panel is amazing, but the biggest reason I stuck with it was that I could scroll on the empty space, and it’d switch the workspace. Yay, shortcuts!
But I missed this; I missed the defaults with a sprinkling of Dash to Dock.
A little bit of searching unearths Workspace Scroll. Now I get to have the default(-ish) workflow and get a nice scroll-to-switch-workspace action.
What floors me is that it doesn’t scroll multiple workspaces if I perform a scroll from my touchpad. With Dash To Panel, my mouse scroll was perfect, but a touchpad scroll would quickly take me to either the top or the bottom workspace, skipping all the ones in between.
This is a common issue with touchpad scrolling in a lot of apps/extensions.
Workspace Scroll doesn’t suffer from this issue. It scrolls just one workspace in either direction, from both the touchpad and the mouse.
Great little extension. 10/10.