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

Output the actual tab id in its repr

Browse Source
This commit is contained in:
Kovid Goyal 2022-11-04 09:29:33 +05:30
parent a856c64104
commit d1eb9340ac
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/tabs.py
View File

@ -759,7 +759,7 @@ class Tab: # {{{
self.windows = WindowList(self) self.windows = WindowList(self)
def __repr__(self) -> str: def __repr__(self) -> str:
return f'Tab(title={self.effective_title}, id={hex(id(self))})' return f'Tab(title={self.effective_title}, id={self.id})'
def make_active(self) -> None: def make_active(self) -> None:
tm = self.tab_manager_ref() tm = self.tab_manager_ref()