windowPicker: Wrong signal ID _nWorkspacesNotifyId

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/106 (cherry picked from commit f9aaa732b2)
2020-03-04 03:36:29 +00:00
parent 665a7fbbcb
commit d39c1fd685
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();
    }