GNOME Bugzilla – Bug 634127
textview won't allow using the scroll wheel while selecting text
Last modified: 2014-09-27 04:39:44 UTC
Let's say you want to use the scroll wheel to select text quicker than dragging the selection outside the boundaries of the text view widget; you can't. It gets stuck at the end of the selection. This could be fixed by updating the start and end position of the selection with scroll events, as well as mouse move events. (Anytime the text moves relative to the mouse pointer during a selection.)
*** This bug has been marked as a duplicate of bug 710612 ***