search

francislavoie / gnome-shell-volume-scroller

GNOME Shell Extension for adjusting volume with a mouse wheel
https://extensions.gnome.org/extension/5904/volume-scroller/
GNU General Public License v2.0
6 stars 3 forks source link

Minor feature: Apply to Dash/Dock, too #5

Open peter-kehl opened 6 months ago

peter-kehl commented 6 months ago

Thank you for Volume Scroller.

Any chance of activating Volume Scroller also when scrolling over Dash/Dash to Dock, please?

Use case: GNOME 45 currently doesn't have a robust extension to hide the Panel & show it on mouse-over (https://gitlab.gnome.org/tuxor1337/hidetopbar is still experimental & not robust in GNOME 45). So, for now I hide the Panel with https://github.com/fthx/panel-free, and I show it with Super Key. But, Volume Scroller is the main reason I access the Panel.

francislavoie commented 6 months ago

I don't use gnome 45 so I can't replicate.

PRs welcome if you want to take a shot at it.

I use scroll wheel on the dock to cycle through windows of an app though, so this would need to not break that functionality at minimum.