Thanks for the report! I can confirm this; forwarded to: https://gitlab.gnome.org/GNOME/gnome-terminal/issues/81
-- 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/1816171 Title: Show menubar by default in new terminals has no effect Status in gnome-terminal package in Ubuntu: Confirmed Bug description: I open a terminal window. No menubar is displayed. From the 'amburger' menu I select Preferences and 'Show menubar by default in new terminals' nothing happens and next time I open a terminal i have no menubar. If i right click on the terminal window and select 'Show menubar' i see the menubar but this option is not remembered next time i open a terminal. corrado@corrado-p6-dd-0215:~$ apt policy gnome-terminal gnome-terminal: Installed: 3.31.90-1ubuntu1 Candidate: 3.31.90-1ubuntu1 Version table: *** 3.31.90-1ubuntu1 500 500 http://archive.ubuntu.com/ubuntu disco/main amd64 Packages 100 /var/lib/dpkg/status corrado@corrado-p6-dd-0215:~$ inxi -SCGx System: Host: corrado-p6-dd-0215 Kernel: 4.19.0-13-generic x86_64 bits: 64 compiler: gcc v: 8.2.1 Desktop: Gnome 3.30.2 Distro: Ubuntu 19.04 (Disco Dingo) CPU: Topology: Dual Core model: Intel Core i3-7100 bits: 64 type: MT MCP arch: Kaby Lake rev: 9 L2 cache: 3072 KiB flags: lm nx pae sse sse2 sse3 sse4_1 sse4_2 ssse3 vmx bogomips: 31296 Speed: 800 MHz min/max: 800/3900 MHz Core speeds (MHz): 1: 800 2: 800 3: 800 4: 800 Graphics: Device-1: Intel HD Graphics 630 vendor: ASRock driver: i915 v: kernel bus ID: 00:02.0 Display: x11 server: X.Org 1.20.3 driver: i915 resolution: 1920x1080~60Hz OpenGL: renderer: Mesa DRI Intel HD Graphics 630 (Kaby Lake GT2) v: 4.5 Mesa 18.3.2 direct render: Yes corrado@corrado-p6-dd-0215:~$ 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-0ubuntu20 Architecture: amd64 CurrentDesktop: ubuntu:GNOME Date: Fri Feb 15 19:39:13 2019 ExecutablePath: /usr/lib/gnome-terminal/gnome-terminal-server InstallationDate: Installed on 2019-02-15 (0 days ago) InstallationMedia: Ubuntu 19.04 "Disco Dingo" - Alpha amd64 (20190215) 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/1816171/+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
