[gnome-shell] main: Override the workspace layout in WindowManager
- From: Jasper St. Pierre <jstpierre src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] main: Override the workspace layout in WindowManager
- Date: Mon, 20 May 2013 17:20:39 +0000 (UTC)
commit 54a9592e19fec94181244aee62380b6c57e2096d
Author: Jasper St. Pierre <jstpierre mecheye net>
Date: Sat Dec 22 22:10:48 2012 -0500
main: Override the workspace layout in WindowManager
https://bugzilla.gnome.org/show_bug.cgi?id=691746
js/ui/main.js | 2 --
js/ui/windowManager.js | 3 +++
2 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index bcd840e..2657678 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -159,8 +159,6 @@ function _initializeUI() {
_a11ySettings = new Gio.Settings({ schema: A11Y_SCHEMA });
- global.screen.override_workspace_layout(Meta.ScreenCorner.TOPLEFT,
- false, -1, 1);
global.display.connect('overlay-key', Lang.bind(overview, function () {
if (!_a11ySettings.get_boolean (STICKY_KEYS_ENABLE))
overview.toggle();
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index d6433a5..5f96a5f 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -474,6 +474,9 @@ const WindowManager = new Lang.Class({
}));
this._workspaceTracker = new WorkspaceTracker(this);
+
+ global.screen.override_workspace_layout(Meta.ScreenCorner.TOPLEFT,
+ false, -1, 1);
},
setCustomKeybindingHandler: function(name, modes, handler) {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]