mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-26 10:12:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

Show tab name otherwise tab title for select_tab

Browse Source
This commit is contained in:
Gary Sentosa
2022-02-14 15:48:08 +09:00
parent f219b10c30
commit dcd7890a0c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/boss.py
View File

@@ -2153,7 +2153,7 @@ class Boss:
def format_tab_title(tab: Tab) -> str: def format_tab_title(tab: Tab) -> str:
w = 'windows' if tab.num_window_groups > 1 else 'window' w = 'windows' if tab.num_window_groups > 1 else 'window'
return f'{tab.title} [{tab.num_window_groups} {w}]' return f'{tab.name or tab.title} [{tab.num_window_groups} {w}]'
ct = self.active_tab ct = self.active_tab
st = '' st = ''