When drag-scrolling stop the scroll when the mouse button is released.

This commit is contained in:
Kovid Goyal 2018-07-06 13:01:49 +05:30
parent c8b1e76783
commit fcb0033d25
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
2 changed files with 3 additions and 0 deletions

View File

@ -19,6 +19,8 @@ Changelog
nearest cell in the window. Avoids selection with the mouse failing when nearest cell in the window. Avoids selection with the mouse failing when
starting the selection just outside the window. starting the selection just outside the window.
- When drag-scrolling stop the scroll when the mouse button is released.
0.11.2 [2018-07-01] 0.11.2 [2018-07-01]
------------------------------ ------------------------------

View File

@ -162,6 +162,7 @@ update_drag(bool from_button, Window *w, bool is_release, int modifiers) {
if (from_button) { if (from_button) {
if (is_release) { if (is_release) {
global_state.active_drag_in_window = 0; global_state.active_drag_in_window = 0;
w->last_drag_scroll_at = 0;
if (screen->selection.in_progress) if (screen->selection.in_progress)
screen_update_selection(screen, w->mouse_cell_x, w->mouse_cell_y, true); screen_update_selection(screen, w->mouse_cell_x, w->mouse_cell_y, true);
} }