>> Unchecking the "Switch workspaces using the mouse wheel" option >> in Workspace switcher settings has no effect for me. >> The mouse wheel is still used to switch workspaces. > > Where do you mouse wheel? On the workspace switcher or on an empty > space on the desktop?
I mouse wheel on an empty space of the desktop. It is still possible to change the setting with Settings -> Window Manager Tweaks -> Workspaces -> "Use the mouse wheel on the desktop to switch workspaces". But there is no effect if i right-click on the workspace switcher, click properties and select/deselect "Switch workspaces using the mouse wheel".
signature.asc
Description: OpenPGP digital signature