From 270dde7020ed1d551df578ec022e2e6e19293480 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Thu, 13 Jul 2017 19:32:18 +0530 Subject: [PATCH] Use erase in line instead as it is more efficient --- kitty/tabs.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/tabs.py b/kitty/tabs.py index 768a2950f..eaf4bed33 100644 --- a/kitty/tabs.py +++ b/kitty/tabs.py @@ -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()