F10 is usually used by applications — let's use F12 for menu
This is more of „feature request” rather than bug report: F10 is frequently used by text-mode applications, most of the time simply to „Exit” (like in case of htop or mc). That's why I always have to switch off this shortcut. But there's a solution: to use F12 (quite seldom used) instead of F10. Maybe it would be good idea to switch to F12? Or to offer a selection, like: ", F10, F12”?