Ubuntu
gnome-terminal package

  1. Bug #787465
  2. Comment #24

Comment 24 for bug 787465

Revision history for this message
markb (mark-blakeney) wrote :

For gnome-shell users that want a workaround for this bug but want to preserve global menus in Unity then perhaps a better solution is to create a file /etc/X11/Xsession.d/81ubuntu-menu-proxy with the single line content:

[ "$DESKTOP_SESSION" != "ubuntu" ] && unset UBUNTU_MENUPROXY