workspace-indicator: fix focus after workspace change

meta_workspace_activate() expects the timestamp of the user action. Not sure where that true came from.
2012-02-13 22:59:42 +01:00
parent 53ee4c096e
commit 0c5564fe55
1 changed files with 1 additions and 1 deletions
@@ -94,7 +94,7 @@ const WorkspaceIndicator = new Lang.Class({
    _activate : function (index) {
 	if(index >= 0 && index <  global.screen.n_workspaces) {
 	    let metaWorkspace = global.screen.get_workspace_by_index(index);
-	    metaWorkspace.activate(true);
+	    metaWorkspace.activate(global.get_current_time());
 	}
    },