Great! That drove me crazy until I found the option. I guess was looking under Preferences, not Keyboard Shortcuts. It sure could be easier to find. But I guess I'm not going to make an argument to upstream, 'cause I don't have a clear idea what would be best.
Glad to help. :) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/968688 Title: Inability to use the Meta key in gnome-terminal (probably related to invoking the HUD?) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/968688/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
