I did not read bug #868152 thoroughly enough. Now that I understand that there is (always was?) a separate setting to control the menu access keys I'm not sure which way you want to go, but I think that it should be easier to disable menu access keys and it used to be very easy when "Show Menubar" had that side-effect.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/728040 Title: Global Menu: Terminal: View->Show Menubar toggle makes no sense To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/728040/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs