*** This bug is a duplicate of bug 787465 ***
    https://bugs.launchpad.net/bugs/787465

I had the exact same problem and the workaround I found which works perfectly 
is to uninstall the global menu functionality in Unity as it is that option 
that causes gnome-terminal to display a menu even if it is asked not to.
To uninstall unity's global menu: sudo apt-get remove appmenu-gtk3 appmenu-gtk 
appmenu-qt
I don't know if it is required to currently use Unity for changes to apply 
correctly, but I re-logged my account on unity to execute the above command 
then returned to gnome shell and it was fixed.

-- 
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/869326

Title:
  Hide Menu setting is not being respected in GNOME Shell

Status in “gnome-terminal” package in Ubuntu:
  Confirmed

Bug description:
  In GNOME Shell I set my gnome-terminal windows to not show me the Menu
  Bar (mostly due to it hijacking my alt+letter presses that I want sent
  via ssh).

  It works the first time in the current window, but once I open a new 
gnome-terminal the menu bar shows up again. However, the setting is still set 
to not display the menu bar (there is no checkmark next to View -> Show 
Menubar. Because of that, I have to click it on, and then click it off to get 
it to actually go away.
  --- 
  ApportVersion: 1.23-0ubuntu2
  Architecture: amd64
  DistroRelease: Ubuntu 11.10
  EcryptfsInUse: Yes
  Package: gnome-terminal 3.0.1-0ubuntu3
  PackageArchitecture: amd64
  ProcVersionSignature: Ubuntu 3.0.0-12.19-generic 3.0.4
  Tags:  oneiric
  Uname: Linux 3.0.0-12-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm admin cdrom dialout lpadmin plugdev sambashare

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/869326/+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

Reply via email to