Ubuntu
gnome-terminal package

  1. Bug #872876
  2. Comment #2

Comment 2 for bug 872876

Revision history for this message
Daniel Hahler (blueyed) wrote :

Try if the workaround for bug 787465 fixes it for you (sudo apt-get purge appmenu-gtk appmenu-gtk3, re-login).

Might be caused by the same menu proxy.