windowPicker: Wrong signal ID _nWorkspacesNotifyId

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/106
2020-03-04 11:36:29 +08:00
parent 7b82c5e12b
commit f9aaa732b2
1 changed files with 2 additions and 2 deletions
@@ -83,8 +83,8 @@ class MyWorkspacesDisplay extends WorkspacesDisplay {
        this._workareasChangedId = 0;

        if (this._nWorkspacesChangedId)
-            global.workspace_manager.disconnect(this._nWorkspacesNotifyId);
-        this._nWorkspacesNotifyId = 0;
+            global.workspace_manager.disconnect(this._nWorkspacesChangedId);
+        this._nWorkspacesChangedId = 0;

        super._onDestroy();
    }