! Please note that this is a snapshot of our old Bugzilla server, which is read only since May 29, 2020. Please go to gitlab.xfce.org for our new server !
scroll_workspaces option stopped working
Status:
RESOLVED: FIXED
Priority:
Medium
Severity:
normal
Product:
Xfwm4
Component:
General

Comments

Description Mike Massonnet editbugs 2012-04-08 18:07:01 CEST 
Created attachment 4308 
[PATCH] scroll_workspaces.diff

the option to switch the workspace on mouse scroll over the desktop stopped to work in commit 8d887c6b Improve tiling

attached is a patch that readds the button press/release masks that fixes the issue
Comment 1 Olivier Fourdan editbugs 2012-04-09 18:03:19 CEST 
Yes, that's somehow on purpose as it breaks some other apps.
Comment 2 Mike Massonnet editbugs 2012-04-09 18:40:28 CEST 
Comment on attachment 4308 
[PATCH] scroll_workspaces.diff

Ok, I thought there was a reason for removing these two lines.
Comment 3 Mike Massonnet editbugs 2012-04-14 22:20:37 CEST 
I see you fixed it in commit 22a8207.
I'm marking this bug as fixed.

Cheers

Bug #8656

Reported by:
Mike Massonnet
Reported on: 2012-04-08
Last modified on: 2012-04-14

People

Assignee:
Olivier Fourdan
CC List:
1 user

Version

Version:
unspecified
Target Milestone:
Future

Attachments

[PATCH] scroll_workspaces.diff (321 bytes, patch)
2012-04-08 18:07 CEST , Mike Massonnet 		no flags

Additional information