[gnome-shell-extensions] windowPicker: Wrong signal ID _nWorkspacesNotifyId

[Florian Müllner <fmuellner src gnome org>]

commit f9aaa732b2e978801d17b7822ff34b85c14c7fd8
Author: Xiaoguang Wang <xwang suse com>
Date:   Wed Mar 4 11:36:29 2020 +0800

    windowPicker: Wrong signal ID _nWorkspacesNotifyId
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/106

 extensions/window-list/windowPicker.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/extensions/window-list/windowPicker.js b/extensions/window-list/windowPicker.js
index 522313d..59b2e90 100644
--- a/extensions/window-list/windowPicker.js
+++ b/extensions/window-list/windowPicker.js
@@ -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();
     }