And how do I leave the option disabled in the settings? ** Attachment added: "And how do I leave the option disabled in the settings?" https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1820106/+attachment/5246233/+files/Captura%20de%20tela%20de%202019-03-14%2015-23-54.png
** Summary changed: - The terminal menu bar does not stay fixed + [disco-proposed] The terminal menu bar does not stay fixed -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1820106 Title: [disco-proposed] The terminal menu bar does not stay fixed Status in gnome-terminal package in Ubuntu: New Bug description: 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) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1820106/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
