On mer., 2013-03-27 at 22:29 +0100, Simon Reinhardt wrote: > >> 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". > Well, everything just looks pretty consistent at first sight. For the behavior when wheeling over the switcher, then go to the switcher options. For the behavior when wheeling over an empty space on the desktop, then go to xfwm4 options. Am I missing something? > Regards, -- Yves-Alexis
signature.asc
Description: This is a digitally signed message part
