This will be fixed in 3.30.1 which will likely be available in Ubuntu 18.10 which will be released later next month. (Note that 18.10 will not be an LTS release.)
https://gitlab.gnome.org/GNOME/gnome-terminal/commit/4b77237463e3c ** Changed in: gnome-terminal (Ubuntu) Status: Confirmed => Fix Committed ** Changed in: gnome-terminal (Ubuntu) Importance: Undecided => Low -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1791967 Title: Shortcut for "Hide and Show Menubar" does not work To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1791967/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
