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

Merge branch 'master' of https://github.com/ichigozero/kitty

Browse Source
This commit is contained in:
Kovid Goyal 2022-02-14 14:03:45 +05:30
commit d24248e93b
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 1 deletions
Show Stats 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 = ''