[gnome-shell-extensions] workspace-indicator: fix focus after workspace change
- From: Giovanni Campagna <gcampagna src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] workspace-indicator: fix focus after workspace change
- Date: Mon, 13 Feb 2012 22:07:11 +0000 (UTC)
commit 0c5564fe55c4ea655da8161c14832d9054879b51
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 | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/extensions/workspace-indicator/extension.js b/extensions/workspace-indicator/extension.js
index de72577..e9acbd3 100644
--- a/extensions/workspace-indicator/extension.js
+++ b/extensions/workspace-indicator/extension.js
@@ -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());
}
},
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]