mrEDitor/gnome-shell-extension-scroll-panel
Gnome Shell extension that allows to switch between workspaces and applications by scrolling mouse wheel above the top panel.
JavaScriptMIT
Pinned issues
Issues
- 3
GNOME 45 support
#30 opened by yukina3230 - 6
GNOME 44 support
#29 opened by yukina3230 - 0
Scroll in overview shows workspace indicator
#23 opened by sophiedkk - 3
Scroll (in)sensitivity
#28 opened by inakil - 1
GNOME 43 support
#26 opened by mimbrero - 8
First scroll event is always ignored on X11
#19 opened by victornoel - 11
gnome 42 support
#21 opened by Wings-Fantasy - 5
Latest update breaks volume scrolling with system indicator (no volume extensions)
#20 opened by ferdnyc - 0
Panel Content Align is not working as intended
#24 opened by crestcere - 1
- 6
Can you add the function of scroll on desktop
#18 opened by eexpress - 6
Scrolling for changing volume also changes panels, when enable together with Volume Mixer extension
#15 opened by inakil - 2
Allow to disable application scrolling
#16 opened by ai - 1
Horizontal workspaces extension with switcher popup enabled causes extension malfunction
#10 opened by mrEDitor - 3
- 1
- 4
Error on gnome 3.30.2
#14 opened by Ribodou - 3
Showing switcher blocks changing to a new workspace
#13 opened by Alxe - 0
- 3
Not working in GNOME Shell 3.30
#8 opened by jonnius - 2
Show Workspace Switcher (as an option) like when using keys to switch workspaces
#7 opened by cyberalex4life - 5
3.20 support
#4 opened by sardaukar - 0
this is the best extension ever
#1 opened by nicolasdanelon