[gnome-shell-extensions/gnome-3-2] workspace-indicator: fix focus after workspace change

[Giovanni Campagna <gcampagna src gnome org>]

commit 010b0555f74b7cabdc3c2816de07f8b3a8f7b1c4
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Mon Feb 13 22:59:42 2012 +0100

    workspace-indicator: fix focus after workspace change
    
    meta_workspace_activate() expects the timestamp of the user action.
    Not sure where that true came from.

 extensions/workspace-indicator/extension.js |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/extensions/workspace-indicator/extension.js b/extensions/workspace-indicator/extension.js
index ef0f5b7..7585a64 100644
--- a/extensions/workspace-indicator/extension.js
+++ b/extensions/workspace-indicator/extension.js
@@ -80,10 +80,10 @@ WorkspaceIndicator.prototype = {
 	},
 
 	_activate : function (index) {
-		if(index >= 0 && index <  global.screen.n_workspaces) {
-			let metaWorkspace = global.screen.get_workspace_by_index(index);
-			metaWorkspace.activate(true);
-		}
+	    if(index >= 0 && index <  global.screen.n_workspaces) {
+		let metaWorkspace = global.screen.get_workspace_by_index(index);
+		metaWorkspace.activate(global.get_current_time());
+	    }
 	},
 
 	_onScrollEvent : function(actor, event) {