disabling/deactivating keyboard shortcut for workspace switch
Submitted by Peter Butkovic
Assigned to Nick Schermer
I'm running Fedora 17 with Xfce 4.8. I use Eclipse daily. I use only one workspace in Xfce, so no need for workspace switching functionality.
However the problem is that standard key bindings of Xfce conflict with those of Eclipse.
Ctrl+F6 and Ctrl+F8 I would normally use for in-Eclipse editor/perspective switching, in Xfce this is however not allowed. Even if I don't have any desktop set up, these are simply not propagated to eclipse.
Is there any way to fix it? I see there multiple options, not sure which would be feasable for you guys:
- add these to "keyboard options -> keyboards shortcuts" by default, to provide an option to remove/deactivate them (as the current problem is that they're not listed at all, but still used.)
- propagate them if there is no such workspace to be switched to configured (no need for extra configuration)
Going the other way - changing eclipse key bindings is not the way to go for me.