Public bug reported:
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).
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
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
