The "Show terminal menu bar" is not enabled

[Edson José dos Santos]

Hi guys

The "Show terminal menu bar is not enabled.
Every time we open the terminal we have to manually inhabit the "Show menu bar"

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.

Thank you

ProblemType: Bug
DistroRelease: Ubuntu 19.04
Package: gnome-terminal 3.31.90-1ubuntu1
ProcVersionSignature: Ubuntu 4.19.0-13.14-generic 4.19.20
Uname: Linux 4.19.0-13-generic x86_64
ApportVersion: 2.20.10-0ubuntu21
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Sat Feb 16 13:48:38 2019
ExecutablePath: /usr/lib/gnome-terminal/gnome-terminal-server
InstallationDate: Installed on 2019-02-11 (4 days ago)
InstallationMedia: Ubuntu 19.04 "Disco Dingo" - Alpha amd64 (20190203)
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)

[Edson José dos Santos (serial.com)]

The terminal menu bar appears only if added manually.
Even though you have started and marked it manually, it will not stay if you need to reopen it.

[Edson José dos Santos (serial.com)]

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.

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.