diff --git a/kitty/patches/tab_title.patch b/kitty/patches/tab_title.patch index 6efa78f..d2c0df9 100644 --- a/kitty/patches/tab_title.patch +++ b/kitty/patches/tab_title.patch @@ -1,9 +1,9 @@ ---- kitty/tab_bar.py 2019-06-09 11:10:02.000000000 +0300 -+++ kitty/tab_bar.py 2019-06-09 17:50:11.605996845 +0300 +--- kitty/tab_bar.py.orig 2019-11-27 06:25:00.000000000 +0200 ++++ kitty/tab_bar.py 2019-11-30 12:07:00.559881682 +0200 @@ -25,7 +25,7 @@ return (x << 8) | 2 - - + + -def draw_title(draw_data, screen, tab, index): +def draw_title(draw_data, screen, tab, index, max_title_text_length): if tab.needs_attention and draw_data.bell_on_tab: @@ -18,9 +18,9 @@ + title = '…' + title[1 + extra:] screen.draw(title) + return extra - - - def draw_tab_with_separator(draw_data, screen, tab, before, max_title_length, index): + + + def draw_tab_with_separator(draw_data, screen, tab, before, max_title_length, index, is_last): if draw_data.leading_spaces: screen.draw(' ' * draw_data.leading_spaces) - draw_title(draw_data, screen, tab, index)