Linux/Gnome: When selection of text goes inactive as soon as the mouse button is released
… go though any gitk window on the desktop, and click on it, to release it from some unexpected GUI state. Just wanted that written down for the next time I try to select a segment in XEmacs or the gnome-terminal window, and the selection goes away as I release the mouse button.