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

DRYer

Browse Source
This commit is contained in:
Kovid Goyal 2021-05-05 13:58:10 +05:30
parent 4a83584934
commit 7e53db8aac
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
kitty/tabs.py
View File

@ -755,10 +755,8 @@ class TabManager: # {{{
def remove(self, tab: Tab) -> None: def remove(self, tab: Tab) -> None:
active_tab_before_removal = self.active_tab active_tab_before_removal = self.active_tab
self._remove_tab(tab) self._remove_tab(tab)
try: active_tab = self.active_tab
active_tab_needs_to_change = (self.active_tab is None and active_tab_before_removal is None) or self.active_tab is tab active_tab_needs_to_change = (active_tab is None and active_tab_before_removal is None) or active_tab is tab
except IndexError:
active_tab_needs_to_change = True
while True: while True:
try: try:
self.active_tab_history.remove(tab.id) self.active_tab_history.remove(tab.id)