[disco-proposed] The terminal menu bar does not stay fixed

[Edson José dos Santos]

Hello guys

The terminal menu bar does not stay fixed, even if the option is checked.
After reopening the terminal the menu bar remains hidden.

And how do I leave the option disabled in the settings? See attachment.

ProblemType: Bug
DistroRelease: Ubuntu 19.04
Package: gnome-terminal 3.32.0-1ubuntu1
Uname: Linux 5.0.1-050001-generic x86_64
ApportVersion: 2.20.10-0ubuntu23
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Thu Mar 14 15:24:32 2019
ExecutablePath: /usr/lib/gnome-terminal/gnome-terminal-server
InstallationDate: Installed on 2019-02-11 (30 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)]

And how do I leave the option disabled in the settings?

[Launchpad Janitor (janitor)]

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

[Daniel van Vugt (vanvugt)]

Thank you for reporting this bug to Ubuntu.
Ubuntu 19.04 (disco) reached end-of-life on January 23, 2020.

See this document for currently supported Ubuntu releases:
https://wiki.ubuntu.com/Releases

We appreciate that this bug may be old and you might not be interested in discussing it any more. But if you are then please upgrade to the latest Ubuntu version and re-test. If you then find the bug is still present in the newer Ubuntu version, please add a comment here telling us which new version it is in and change the bug status to Confirmed.