Less heavy "scroll to change desktop"

[teamcons]

Problem

Current way to switch quickly desktop using the mouse is by quickly scrolling panel

However it happens quite often that i scroll on it and... nothing. It requires more scrolling for it to trigger - making it feel quite heavy

the debounce is a bit strong as well. If i want to peek quickly on another desktop, i cant immediately scroll back, but have to wait.

Proposal

More sensitive scrolling
and shorter debounce

Also this PR: #590
Look i diden it.

Prior Art (Optional)

the default of what i used in Gnuhme was okay? i think it was this one.
it had a timeout of 0 between scroll event but im not sure if that would fit everyone

https://github.com/timbertson/gnome-shell-scroll-workspaces

[teamcons]

Currently testing for a less heavy default.