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

Fix type signature

Browse Source
This commit is contained in:
Kovid Goyal 2021-09-23 20:27:33 +05:30
parent 66bf39db93
commit 25e9ddb4a4
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
kitty/tabs.py
View File

@ -14,7 +14,7 @@ from typing import (
Sequence, Tuple, Union, cast Sequence, Tuple, Union, cast
) )
from .borders import Borders from .borders import Border, Borders
from .child import Child from .child import Child
from .cli_stub import CLIOptions from .cli_stub import CLIOptions
from .constants import appname, kitty_exe from .constants import appname, kitty_exe
@ -23,7 +23,7 @@ from .fast_data_types import (
mark_tab_bar_dirty, next_window_id, remove_tab, remove_window, ring_bell, mark_tab_bar_dirty, next_window_id, remove_tab, remove_window, ring_bell,
set_active_tab, set_active_window, swap_tabs, sync_os_window_title set_active_tab, set_active_window, swap_tabs, sync_os_window_title
) )
from .layout.base import Layout, Rect from .layout.base import Layout
from .layout.interface import create_layout_object_for, evict_cached_layouts from .layout.interface import create_layout_object_for, evict_cached_layouts
from .tab_bar import TabBar, TabBarData from .tab_bar import TabBar, TabBarData
from .types import ac from .types import ac
@ -935,7 +935,7 @@ class TabManager: # {{{
self.set_active_tab_idx(i) self.set_active_tab_idx(i)
@property @property
def tab_bar_rects(self) -> Tuple[Rect, ...]: def tab_bar_rects(self) -> Tuple[Border, ...]:
return self.tab_bar.blank_rects if self.tab_bar_should_be_visible else () return self.tab_bar.blank_rects if self.tab_bar_should_be_visible else ()
def destroy(self) -> None: def destroy(self) -> None: