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 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
