[gnome-shell-extensions/wip/rstrode/heads-up-display: 37/62] workspace-indicator: Fix whitespace error

[Ray Strode <halfline src gnome org>]

commit e9142e2228fc656b6b3720061d3a257703942c7d
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 3be1268..c3c4d5f 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());
         }