From 54a9592e19fec94181244aee62380b6c57e2096d Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Sat, 22 Dec 2012 22:10:48 -0500 Subject: [PATCH] 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 bcd840e52..2657678b7 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 d6433a5cf..5f96a5fcc 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) {