Red Hat Bugzilla – Bug 2892
gnome-terminal selection bug
Last modified: 2008-05-01 11:37:50 EDT
Gnome terminal doesn't repaint when you select some text
(drag on window) and then deselect (click once on same
window) some text.
Drag another window over it and the highlight goes away,
Verified by DLT, 18 MAY 1999.
Fixed as of gnome-libs-1.0.10, which will be released as
an update soon.