On 03/27/2013 10:45 PM, Yves-Alexis Perez wrote: > 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?
Ok, now I got it. Thanks a lot, Simon
signature.asc
Description: OpenPGP digital signature
