Ubuntu
gnome-terminal package

  1. Bug #630383
  2. Comment #8

Comment 8 for bug 630383

Revision history for this message
Tobias Wolf (towolf) wrote : Re: Gnome-terminal paste keyboard shortcut does not work

I have a hunch that this is related to the indicator-appmenu machination. Is everybody using appmenu, i.e., the global menu, here?