disabling/deactivating keyboard shortcut for workspace switch

Submitted by Peter Butkovic

Assigned to Nick Schermer

Link to original bug (#9478)

Description

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.

Thanks.

Version: 4.8.0