Ubuntu
appmenu-gtk package

  1. Bug #630292
  2. Comment #10

Comment 10 for bug 630292

Revision history for this message
Mark Shuttleworth (sabdfl) wrote : Re: [Bug 630292] Re: Paste in global application menu is not active whilst using gnome-terminal

I think there's a separate bug about Ctrl-Shift-V not working, there may
be a deeper underlying common issue.

Mark