mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-06-25 02:17:03 +00:00
...
This commit is contained in:
parent
eab3b2a689
commit
3f293db632
1 changed files with 1 additions and 1 deletions
|
|
@ -854,8 +854,8 @@ class Boss:
|
|||
import traceback
|
||||
traceback.print_exc()
|
||||
del window.actions_on_close[:], window.actions_on_removal[:]
|
||||
window = self.active_window
|
||||
|
||||
window = self.active_window
|
||||
if window is not prev_active_window:
|
||||
if prev_active_window is not None:
|
||||
prev_active_window.focus_changed(False)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue