Investigating this further this seems to be a problem with the global
application menu. Disabling this by commenting out
export UBUNTU_MENUPROXY="libappmenu.so"
in /etc/X11/Xsession.d/80appmenu and logging out and back in fixes the
issue for that session.
** Also affects: indicator-appmenu
Importance: Undecided
Status: New
** Summary changed:
- Paste in global menu is not active
+ Paste in global application menu is not active whilst using gnome-terminal
** Tags added: app-menu
--
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
