GNOME Bugzilla – Bug 614658
text selection with mouse is buggy when using the shift key to add more text
Last modified: 2010-05-11 20:49:38 UTC
Hi, an ubuntu user reported this bug about gnome-terminal text selection. Basically the steps to reproduce the bugs are: 1) select some text with the mouse. 2) right click, copy.. it works (try pasting in gedit) then 3) select some text with the mouse 4) press shift 5) select some more text above the current selection by a left click. 6) right-click, copy.. it does not work ( try pasting in gedit ) I would expect the whole selection to be pasted, but only the first selection in pasted, not the complete one (including the part selected with the shift button). Cheers, Davide link: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/544358
-> vte
*** Bug 618219 has been marked as a duplicate of this bug. ***
Fixed in master.