mouse wheel not switching the workplace

passingthru67 / workspaces-to-dock

A gnome shell extension that transforms the workspaces into an intellihide dock

https://extensions.gnome.org/extension/427/workspaces-to-dock/

GNU General Public License v3.0

262 stars 54 forks source link

mouse wheel not switching the workplace #188

Open tassoman opened 4 years ago

tassoman commented 4 years ago

Linux Distribution version

Debian bullseye/sid testing

Gnome Shell version

3.34.3

Xorg or Wayland (or both)

1:7.7+20 and 3.34.3-1

Extension version or branch

Description of the problem

mouse wheel not switching the workplace, probably related to #30

Steps to reproduce the problem

Install by Gnome Extensions, hover the workspace-docker, wheel scroll ... Nothing happens, workspace switch expected. Switch happens only by clicking on a workspace.