From 8abf18209ee9cc7579d7eaa61dbe57f07922f1fd Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Sun, 5 Jul 2020 10:13:57 +1000 Subject: Fix selections getting unsorted on scroll Fixes #3478 --- src/input_handler.cc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/input_handler.cc') diff --git a/src/input_handler.cc b/src/input_handler.cc index f13c513e..36425eff 100644 --- a/src/input_handler.cc +++ b/src/input_handler.cc @@ -1754,7 +1754,8 @@ void scroll_window(Context& context, LineCount offset, bool mouse_dragging) win_pos.line = clamp(win_pos.line + offset, 0_line, line_count-1); - Selection& main_selection = context.selections().main(); + SelectionList& selections = context.selections(); + Selection& main_selection = selections.main(); const BufferCoord anchor = main_selection.anchor(); const BufferCoord cursor = main_selection.cursor(); @@ -1775,6 +1776,8 @@ void scroll_window(Context& context, LineCount offset, bool mouse_dragging) window.set_position(win_pos); main_selection = { new_anchor, new_cursor }; + + selections.sort_and_merge_overlapping(); } } -- cgit v1.2.3