Possible Duplicate:
How do I deactivate F1 and F10 keybindings?
The CURRENT Ubuntu 12.04 doesn't seem to allow me to unbind F10. (There are some similar questions that relate to older Ubuntu versions).
This is causing some problems with terminal mode software and games.
I have tried
1) /desktop/gnome/interface
inside gconf
2) "Edit > Keyboard Shortcuts" inside terminal
3) The setting for alt+F10 in Unity Desktop Plugin in CCSM.
None of these can unbind F10 on my 12.04 systems.
If this is a bug, I apologise for asking: I'll go bug report it.