Ubuntu
gnome-terminal package

  1. Bug #630383
  2. Comment #18

Comment 18 for bug 630383

Revision history for this message
Arnaud Soyez (weboide) wrote : Re: Gnome-terminal paste keyboard shortcut does not work

The priority is appropriate. It can easily be worked around (right-click, paste), It does not absolutely limit the functionality of the application. See the low section in https://wiki.ubuntu.com/Bugs/Importance