Thanks for investigating the issue at the code level. Actually, the latest set of fixes we're landing should fix the problem hopefully in the following hours.
Keeping the bug open for now. -- Paste in global application menu is not active whilst using gnome-terminal https://bugs.launchpad.net/bugs/630292 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs