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

#950713#5
Date:
2020-02-05 09:24:46 UTC
From:
To:
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

#950713#10
Date:
2024-09-15 00:21:26 UTC
From:
To:
Paul,

Are you still experiencing this bug?

Thank you,
Jeremy Bícha