gnome-shell already includes a method for switching workspaces via scroll events. Use that instead of implementing our own. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/316>
gnome-shell already includes a method for switching workspaces via scroll events. Use that instead of implementing our own. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/316>