search

christopher-l / space-bar

GNOME Shell extension that shows workspaces buttons in top panel
155 stars 12 forks source link

Add debouncing option for workspace switching via scroll wheel #1

Closed florommel closed 1 year ago

florommel commented 2 years ago

Switching workspaces via the scroll wheel is very sensitive. For me it often results in scrolling multiple workspace at once. (especially when using a touchpad). This adds a scroll-wheel-debounce-amount setting which allows the user to set a debounce delay in order to make the scroll wheel less sensitive (the default value is 0, so nothing changes if not configured).

florommel commented 1 year ago

Hi, is space-bar still maintained?

christopher-l commented 1 year ago

Hi, sorry, for some reason I completely missed notifications for this repository. I'll be away from my computer for the next week, but I'll have a look afterwards. I already thought about including this, thank you for taking the time to create the PR! Sorry again for the delay!

christopher-l commented 1 year ago

Since there have been some changes since the PR, I took your code to create a new commit for the feature (https://github.com/christopher-l/space-bar/commit/3543f0e5d7754a9c754366a044f9741952b5e3cb). I adopted the core concept and implementation from this PR. Thank you for your work!