brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

main: Override the workspace layout in WindowManager

Browse Source 
https://bugzilla.gnome.org/show_bug.cgi?id=691746
This commit is contained in:
Jasper St. Pierre 2012-12-22 22:10:48 -05:00
parent b2aa29e221
commit 54a9592e19
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
js/ui/main.js
View File

@ -159,8 +159,6 @@ function _initializeUI() {
_a11ySettings = new Gio.Settings({ schema: A11Y_SCHEMA }); _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 () { global.display.connect('overlay-key', Lang.bind(overview, function () {
if (!_a11ySettings.get_boolean (STICKY_KEYS_ENABLE)) if (!_a11ySettings.get_boolean (STICKY_KEYS_ENABLE))
overview.toggle(); overview.toggle();

3
js/ui/windowManager.js
View File

@ -474,6 +474,9 @@ const WindowManager = new Lang.Class({
})); }));
this._workspaceTracker = new WorkspaceTracker(this); this._workspaceTracker = new WorkspaceTracker(this);
global.screen.override_workspace_layout(Meta.ScreenCorner.TOPLEFT,
false, -1, 1);
}, },
setCustomKeybindingHandler: function(name, modes, handler) { setCustomKeybindingHandler: function(name, modes, handler) {