GNOME Bugzilla – Bug 573160
Ending a drag-selection should update with the mouse position from the ButtonRelease
Last modified: 2018-02-10 03:41:48 UTC
Before actually ending the selection drag, gtk_text_view_button_release_event() doesn't update the selection with respect to the mouse position from the ButtonRelease event. It should do that to avoid a seemingly out-of-sync selection on slow machines, or on heavily loaded machines. Also, I think the calls to gdk_event_request_motions() should be done *after* the motion-event handlers finish their expensive work, so that the next motion event will be with respect to the mouse position *after* the expensive work is done.
We're moving to gitlab! As part of this move, we are closing bugs that haven't seen activity in more than 5 years. If this issue is still imporant to you and still relevant with GTK+ 3.22 or master, please consider creating a gitlab issue for it.