luca/dotfiles
1
0
Fork 0
Code Activity

fix tab_bar error

Browse source
This commit is contained in:
Luca Bilke 2022-07-26 19:11:32 +02:00
commit 7208a8b392
1 changed files with 2 additions and 0 deletions

2
.config/kitty/tab_bar.py
View file

@ -3,6 +3,7 @@ from kitty.boss import get_boss
from kitty.fast_data_types import Screen, add_timer, get_options from kitty.fast_data_types import Screen, add_timer, get_options
from kitty.tab_bar import ( from kitty.tab_bar import (
DrawData, DrawData,
ExtraData,
Formatter, Formatter,
TabBarData, TabBarData,
as_rgb, as_rgb,
@ -172,6 +173,7 @@ def draw_tab(
max_title_length: int, max_title_length: int,
index: int, index: int,
is_last: bool, is_last: bool,
_: ExtraData,
) -> int: ) -> int:
global timer_id global timer_id
if timer_id is None: if timer_id is None: