to clarify: I don't want a menu, as it takes up valuable terminal space :-) But I do want to edit my keybindings, and doing that with - enabling the menu - edit keybindings - disable menu is a kludge -- keyboard shortcuts only accesible from menu https://launchpad.net/bugs/52186