From 4ae3abb3cbd818c578dce93e068ff8f2b9fcefa7 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 9 Sep 2017 13:04:31 +0530 Subject: [PATCH] Fix selection being cleared when drag scrolling --- kitty/char_grid.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/kitty/char_grid.py b/kitty/char_grid.py index 61791d3ea..06139224c 100644 --- a/kitty/char_grid.py +++ b/kitty/char_grid.py @@ -228,11 +228,13 @@ class CharGrid: def update_cell_data(self, cell_program): if self.data_buffer_size is None: return + clear_selection = self.screen.is_dirty with cell_program.mapped_vertex_data(self.vao_id, self.data_buffer_size) as address: cursor_changed, self.scrolled_by, self.screen_reversed = self.screen.update_cell_data( address, self.scrolled_by, False) - self.current_selection.clear() + if clear_selection: + self.current_selection.clear() self.render_data = self.screen_geometry if cursor_changed: c = self.screen.cursor