mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-27 02:31:45 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix #2753

Browse Source
This commit is contained in:
Kovid Goyal
2020-06-08 21:40:59 +05:30
parent 5f6faa1bf0
commit cd4dacb406
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
kitty/window_list.py
View File

@@ -160,11 +160,12 @@ class WindowList:
seen = set() seen = set()
gid_map = {g.id: g for g in self.groups} gid_map = {g.id: g for g in self.groups}
for gid in self.active_group_history: for gid in self.active_group_history:
g = gid_map[gid] g = gid_map.get(gid)
w = g.active_window_id if g is not None:
if w > 0 and w not in seen: w = g.active_window_id
seen.add(w) if w > 0 and w not in seen:
ans.append(w) seen.add(w)
ans.append(w)
return ans return ans
def notify_on_active_window_change(self, old_active_window: Optional[WindowType], new_active_window: Optional[WindowType]) -> None: def notify_on_active_window_change(self, old_active_window: Optional[WindowType], new_active_window: Optional[WindowType]) -> None: