Fairly often the window list extension disappears from my screen and I
get the errors below in the journal and an error icon in GNOME Tweaks
and the first line of the error below from the GNOME Shell Looking
Glass interface. Since I am using Wayland there is no way to reload the
extension so I have to logout, so setting the severity to important.
gnome-shell[4177]: JS ERROR: Extension window-list@gnome-shell-extensions.gcampax.github.com: TypeError: Main.windowPicker is undefined
_updateWorkspacesViews/<@/usr/share/gnome-shell/extensions/window-list@gnome-shell-extensions.gcampax.github.com/windowPicker.js:54:13
_updateWorkspacesViews@/usr/share/gnome-shell/extensions/window-list@gnome-shell-extensions.gcampax.github.com/windowPicker.js:52:9
_workspacesOnlyOnPrimaryChanged@resource:///org/gnome/shell/ui/workspacesView.js:663:9
WorkspacesDisplay<@resource:///org/gnome/shell/ui/workspacesView.js:519:9
MyWorkspacesDisplay<@/usr/share/gnome-shell/extensions/window-list@gnome-shell-extensions.gcampax.github.com/windowPicker.js:11:9
_init@/usr/share/gnome-shell/extensions/window-list@gnome-shell-extensions.gcampax.github.com/windowPicker.js:100:35
enable@/usr/share/gnome-shell/extensions/window-list@gnome-shell-extensions.gcampax.github.com/extension.js:1137:29
_callExtensionEnable@resource:///org/gnome/shell/ui/extensionSystem.js:148:13
_enableAllExtensions/<@resource:///org/gnome/shell/ui/extensionSystem.js:503:17
_enableAllExtensions@resource:///org/gnome/shell/ui/extensionSystem.js:502:13
_sessionUpdated@resource:///org/gnome/shell/ui/extensionSystem.js:530:13
_emit@resource:///org/gnome/gjs/modules/signals.js:135:27
_sync@resource:///org/gnome/shell/ui/sessionMode.js:205:9
popMode@resource:///org/gnome/shell/ui/sessionMode.js:174:9
_continueDeactivate@resource:///org/gnome/shell/ui/screenShield.js:1203:13
deactivate/<@resource:///org/gnome/shell/ui/screenShield.js:1189:39
finish@resource:///org/gnome/shell/gdm/authPrompt.js:492:13
finish@resource:///org/gnome/shell/ui/unlockDialog.js:134:9
deactivate@resource:///org/gnome/shell/ui/screenShield.js:1189:13
ScreenShield</</<@resource:///org/gnome/shell/ui/screenShield.js:541:52
_emit@resource:///org/gnome/gjs/modules/signals.js:135:27
_convertToNativeSignal@resource:///org/gnome/gjs/modules/overrides/Gio.js:169:5
gnome-shell[4177]: JS ERROR: TypeError: Main.windowPicker is undefined
_init@/usr/share/gnome-shell/extensions/window-list@gnome-shell-extensions.gcampax.github.com/windowPicker.js:274:9
_init@/usr/share/gnome-shell/extensions/window-list@gnome-shell-extensions.gcampax.github.com/extension.js:694:22
_buildWindowLists/<@/usr/share/gnome-shell/extensions/window-list@gnome-shell-extensions.gcampax.github.com/extension.js:1155:40
_buildWindowLists@/usr/share/gnome-shell/extensions/window-list@gnome-shell-extensions.gcampax.github.com/extension.js:1153:9