Comment 27 for bug 787465

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.