In various programs like IntelliJ and Firefox, when I press F10, it opens the 'File' menu.
I would like to stop that, I need F10 for other stuff.
- It is not in Settings > Keyboard
- I tried Can I disable the F10 key for all apps without CCSM?, but it does not work (maybe it has changed since 11.10?)
- Not a duplicate of deactivate F1 and F10 keybindings in gnome-terminal?, this is not about terminal.
