Bug#950713: gnome-shell-extensions: window-list: keeps disappearing: TypeError: Main.windowPicker is undefined

[Jeremy Bícha]

Paul,

Are you still experiencing this bug?

Thank you,
Jeremy Bícha