clearly an usability bug.
the gnome terminal should not create a new selection until the mouse cursor is dragged by at least one character.
accidental mouse movements are nearly unavoidable with todays high resolution screens.
combined with the stupid unix selection model (losing the "clipboard" by merely selecting another text) this is one of the most frustrating defects in the gnome desktop.
clearly an usability bug.
the gnome terminal should not create a new selection until the mouse cursor is dragged by at least one character.
accidental mouse movements are nearly unavoidable with todays high resolution screens.
combined with the stupid unix selection model (losing the "clipboard" by merely selecting another text) this is one of the most frustrating defects in the gnome desktop.