-
Notifications
You must be signed in to change notification settings - Fork 16
Description
Hi, @windsorschmidt. I upgraded recently and Debian testing distro brought in GNOME 42.0...
$ gnome-shell --version
GNOME Shell 42.0
$
...so naturally I updated this extension locally in the usual way:
index 6bcee3f..8f897cf 100644
--- disable-workspace-switcher-popup@github.com/metadata.json
+++ disable-workspace-switcher-popup@github.com/metadata.json
@@ -31,7 +31,8 @@
"40.5",
"41.0",
"41.1",
- "41.2"
+ "41.2",
+ "42.0"
],
"uuid": "disable-workspace-switcher-popup@github.com",
"name": "Disable Workspace Switcher Popup",
However, the extension is having no effect. I can see in gnome-extensions-app that the extension is turned on, as expected. But I still get a workspace switcher popup.
I asked about this over in GNOME Discourse, because the visual appearance and location of the popup have changed a bit, and Florian Müllner confirmed that even though the appearance and location have changed, the same code should still work to suppress the popup.
Do you have any idea what's causing the extension to suddenly not work? For all I know this might even be a GNOME bug, or maybe there's some new compatibility shim we need to place in the extension code (like the "// Backwards compatability with 3.0.2" shim you already have in extension.js), but I'm not even sure how to start debugging this.