[gnome-shell-extensions/wip/fmuellner/lint-ci] Catch an error (hopefully)

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

commit 4787e06e4a62ac82526f5ac8d8f0c3392f8e003e
Author: Florian Müllner <fmuellner gnome org>
Date:   Mon Jan 28 06:45:32 2019 +0100

    Catch an error (hopefully)

 extensions/window-list/extension.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 3bbf5bb..8ef8e9b 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -671,7 +671,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
         this._workspaceManagerSignals.push(workspaceManager.connect_after('workspace-switched',
                                                                           this._updateIndicator.bind(this)));
 
-        this.connect('scroll-event', this._onScrollEvent.bind(this));
+         this.connect('scroll-event', this._onScrollEvent.bind(this));
         this._updateMenu();
 
         this._settings = new Gio.Settings({ schema_id: 'org.gnome.desktop.wm.preferences' });