windowInfo is undefined

[mzur]

If I open the overview with Super while having selected one window from my secondary monitor, then immediately leave the overview, I get:

JS ERROR: TypeError: windowInfo is undefined
vfunc_allocate@resource:///org/gnome/shell/ui/workspace.js:706:17
vfunc_allocate@resource:///org/gnome/shell/ui/workspacesView.js:555:25
vfunc_allocate@resource:///org/gnome/shell/ui/workspacesView.js:711:30
removeWindow@resource:///org/gnome/shell/ui/workspace.js:855:29
addWindow/<.destroyId<@resource:///org/gnome/shell/ui/workspace.js:806:22
vfunc_hide@resource:///org/gnome/shell/ui/workspacesView.js:1016:38
vfunc_unmap@resource:///org/gnome/shell/ui/overviewControls.js:703:33
hideOverview@resource:///org/gnome/shell/ui/layout.js:339:28
_hideDone@resource:///org/gnome/shell/ui/overview.js:580:32
_animateNotVisible/<@resource:///org/gnome/shell/ui/overview.js:558:55
onStopped@resource:///org/gnome/shell/ui/overviewControls.js:741:21
_makeEaseCallback/<@resource:///org/gnome/shell/ui/environment.js:151:22
_easeActorProperty/<@resource:///org/gnome/shell/ui/environment.js:317:60

I'm not 100% sure that this is caused by this extension, yet, but it doesn't seem to happen if the extension is disabled.