It's the very first entry under the global (not profile) Preferences. -- 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/1703428
Title: gnome-teminal settings: unable to hide menubar by default Status in gnome-terminal package in Ubuntu: New Bug description: In earlier gnome-terminal versions one was able to hide gnome-terminal menubar by default using ProfileSettings - General - Show Menubar. This setting is not available anymore and thus there seems to be no way to hide the menubar by default. This is extremly annoyingly. Env is xenial 16.04.2 (with gnome-terminal 3.18.3). To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1703428/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
