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

Use erase in line instead as it is more efficient

Browse Source
This commit is contained in:
Kovid Goyal 2017-07-13 19:32:18 +05:30
parent 11de18e737
commit 270dde7020
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/tabs.py
View File

@ -331,7 +331,7 @@ class TabManager:
if s.cursor.x > s.columns - max_title_length and t is not self.tabs[-1]:
s.draw('…')
break
s.erase_characters(s.columns - 1) # Ensure no long titles bleed after the last tab
s.erase_in_line(0, False) # Ensure no long titles bleed after the last tab
s.update_cell_data(
sprites.backend, self.color_profile, addressof(self.sprite_map), self.default_fg, self.default_bg, True)
sprites.render_dirty_cells()