Remove shortcut editor / toolbar from terminal?

[Guido Berhoerster]

* Baurzhan Muftakhidinov <baurthefirst at gmail.com> [2012-12-20 13:19]:
> As Yves-Alexis already mentioned, ability to disable F10 shortcut
> is very useful.
> In mc, for example.

I think the ugly shortcuts editor is not so much needed, the
actual problem is rather that a terminal emulator shouldn't use
generic shortcuts such as the function keys without modifiers
which are frequently used by terminal applications.
-- 
Guido Berhoerster