mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-06-20 06:05:16 +00:00
...
This commit is contained in:
parent
7e53db8aac
commit
4dcccc553c
1 changed files with 1 additions and 1 deletions
|
|
@ -756,7 +756,7 @@ class TabManager: # {{{
|
|||
active_tab_before_removal = self.active_tab
|
||||
self._remove_tab(tab)
|
||||
active_tab = self.active_tab
|
||||
active_tab_needs_to_change = (active_tab is None and active_tab_before_removal is None) or active_tab is tab
|
||||
active_tab_needs_to_change = (active_tab is None and (active_tab_before_removal is None or active_tab_before_removal is tab)) or active_tab is tab
|
||||
while True:
|
||||
try:
|
||||
self.active_tab_history.remove(tab.id)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue