Public bug reported:
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)
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug disco package-from-proposed
** Attachment added: "The terminal menu bar does not stay fixed"
https://bugs.launchpad.net/bugs/1820106/+attachment/5246227/+files/Captura%20de%20tela%20de%202019-03-14%2015-22-00.png
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1820106
Title:
[disco-proposed] The terminal menu bar does not stay fixed
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1820106/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
