[gnome-shell-extensions] workspace-indicator: Fix whitespace error

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

commit f1a154207fca53a218f89ff6eef88a739256e76d
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Jun 29 01:24:54 2019 +0200

    workspace-indicator: Fix whitespace error
    
    We only want a single space before and after operators, not at least
    one. Unfortunately eslint only enforces the latter ...
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/71

 extensions/workspace-indicator/extension.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/extensions/workspace-indicator/extension.js b/extensions/workspace-indicator/extension.js
index 2c92a4d..e0fef27 100644
--- a/extensions/workspace-indicator/extension.js
+++ b/extensions/workspace-indicator/extension.js
@@ -109,7 +109,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
     _activate(index) {
         let workspaceManager = global.workspace_manager;
 
-        if (index >= 0 && index <  workspaceManager.n_workspaces) {
+        if (index >= 0 && index < workspaceManager.n_workspaces) {
             let metaWorkspace = workspaceManager.get_workspace_by_index(index);
             metaWorkspace.activate(global.get_current_time());
         }