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.
Commit pushed to master at https://github.com/openshift/origin-web-console
Fix for console issue #2892