KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix selection being cleared when drag scrolling

Browse Source
This commit is contained in:
Kovid Goyal 2017-09-09 13:04:31 +05:30
parent 5c1747b2c8
commit 4ae3abb3cb
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/char_grid.py
View File

@ -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