From d1eb9340ac89dde12a35b0637d0602d7722b7ddb Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 4 Nov 2022 09:29:33 +0530 Subject: [PATCH] Output the actual tab id in its repr --- kitty/tabs.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/tabs.py b/kitty/tabs.py index 75b6c39f0..e09dbbc49 100644 --- a/kitty/tabs.py +++ b/kitty/tabs.py @@ -759,7 +759,7 @@ class Tab: # {{{ self.windows = WindowList(self) 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: tm = self.tab_manager_ref()