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 Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1703428
Title:
gnome-teminal settings: unable to hide menubar by default
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1703428/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
