mirror of
https://github.com/keanuplayz/dotfiles.git
synced 2024-08-15 02:33:12 +00:00
[kitty] update tab_title.patch
This commit is contained in:
parent
2b797d1541
commit
362e169cca
1 changed files with 7 additions and 7 deletions
|
@ -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)
|
||||
|
|
Loading…
Reference in a new issue