I've found out the cause of this problem. It's the "Disable all menu access keys" option accessible from "Edit" > "Keyboard Shortcut". If this option checked , the labels will be gone after the gnome-terminal restarted. To reproduce this bug maybe you should test it by doing so.
-- Hardy Heron gnome terminal missing menu bar https://bugs.launchpad.net/bugs/183521 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
