As a workaround, you can use gconf-editor to unset the gconf key /apps /gnome-terminal/global/use_mnemonics. This disables the menu shortcuts (only in gnome-terminal) so you don't have to turn off the menu with two clicks in order to be able to use Alt+key in the terminal.
However, I agree this is an annoying bug: having the menu present wastes screen space, or, if you get rid of it, time. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/869326 Title: Hide Menu setting is not being respected in GNOME Shell To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/869326/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
