When we enter the edit option / preferences / shortcuts the "Hide and Show menu bar" option is not enabled, much less let us return to the default.
As per attached image, I changed by mistake and can not revert, but before having changed the above situation already occurred. ** Attachment added: "The terminal menu option is not enabled" https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1816247/+attachment/5239143/+files/Captura%20de%20tela%20de%202019-02-16%2013-53-05.png -- 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/1816247 Title: The "Show terminal menu bar" is not enabled To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1816247/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
