Ubuntu
appmenu-gtk package

  1. Bug #787465
  2. Comment #27

Comment 27 for bug 787465

Revision history for this message
Mark Harrison (mark-z-harrison) wrote :

I can confirm that markb's solution (#24 above) fixes the problem with gnome-terminal and the menu sluggishness in other programs (gedit, nautilus, etc.) when using gnome-shell.