[gnome-shell-extensions] window-list: Fix typo

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

commit 1ee3803265bfa770677586c3071dd9f46a60ed60
Author: Florian Müllner <fmuellner gnome org>
Date:   Sun Jan 26 23:35:02 2020 +0100

    window-list: Fix typo
    
    Whoops, missed a shift-press there. Another issues that sneaked
    in thanks to the broken eslint check.
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/105

 extensions/window-list/windowPicker.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/extensions/window-list/windowPicker.js b/extensions/window-list/windowPicker.js
index 25a689c..522313d 100644
--- a/extensions/window-list/windowPicker.js
+++ b/extensions/window-list/windowPicker.js
@@ -83,7 +83,7 @@ class MyWorkspacesDisplay extends WorkspacesDisplay {
         this._workareasChangedId = 0;
 
         if (this._nWorkspacesChangedId)
-            global.workspace_manager.disconnect(this._nWorkspacesNotifyId),
+            global.workspace_manager.disconnect(this._nWorkspacesNotifyId);
         this._nWorkspacesNotifyId = 0;
 
         super._onDestroy();