mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-10-21 20:52:19 +00:00
Fix #3400
This commit is contained in:
parent
b063c8cda1
commit
f3e2a42c29
1 changed files with 4 additions and 1 deletions
|
|
@ -745,7 +745,10 @@ class TabManager: # {{{
|
|||
|
||||
def remove(self, tab: Tab) -> None:
|
||||
self._remove_tab(tab)
|
||||
active_tab_needs_to_change = self.active_tab is None or self.active_tab is tab
|
||||
try:
|
||||
active_tab_needs_to_change = self.active_tab is None or self.active_tab is tab
|
||||
except IndexError:
|
||||
active_tab_needs_to_change = True
|
||||
while True:
|
||||
try:
|
||||
self.active_tab_history.remove(tab.id)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue