mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-10 07:59:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

...

Browse Source
This commit is contained in:
Kovid Goyal
2017-09-09 12:38:17 +05:30
parent 746a20a11d
commit 2611678855
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
kitty/char_grid.py
View File

@@ -162,7 +162,7 @@ class CharGrid:
self.last_rendered_selection = None
self.render_data = None
self.scrolled_by = 0
self.data_buffer_size = 0
self.data_buffer_size = None
self.screen = screen
self.opts = opts
self.screen.color_profile.update_ansi_color_table(build_ansi_color_table(opts))
@@ -225,12 +225,12 @@ class CharGrid:
self.scrolled_by = y
self.scroll_changed = True
def update_cell_data(self, cell_program, force_full_refresh=False):
if self.data_buffer_size == 0:
def update_cell_data(self, cell_program):
if self.data_buffer_size is None:
return
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, force_full_refresh)
address, self.scrolled_by, False)
self.current_selection.clear()
self.render_data = self.screen_geometry