Bug#478478: gnome-terminal: copy/paste using the middle mouse button is broken.

Wed Feb 12 10:59:54 UTC 2014

>Could you try to reproduce this issue with newer version of gnome-terminal
>like 3.4.1.1-2 or 3.10.1-1 ?

I have not observed this bug for a long time.

-- 
Francesco Potortì (ricercatore)        Voice:  +39.050.621.3058
ISTI - Area della ricerca CNR          Mobile: +39.348.8283.107
via G. Moruzzi 1, I-56124 Pisa         Skype:  wnlabisti
(entrance 20, 1st floor, room C71)     Web:    http://fly.isti.cnr.it