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

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

commit d39c1fd6852730dfbd58529460a3c39844014fdb
Author: Xiaoguang Wang <xwang suse com>
Date:   Wed Mar 4 03:36:29 2020 +0000

    windowPicker: Wrong signal ID _nWorkspacesNotifyId
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/106
    
    
    (cherry picked from commit f9aaa732b2e978801d17b7822ff34b85c14c7fd8)

 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();
     }