From d39c1fd6852730dfbd58529460a3c39844014fdb Mon Sep 17 00:00:00 2001
From: Xiaoguang Wang <xwang@suse.com>
Date: Wed, 4 Mar 2020 03:36:29 +0000
Subject: [PATCH] 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 522313d6..59b2e902 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();
     }