summaryrefslogtreecommitdiff
path: root/js/ui/windowManager.js
diff options
context:
space:
mode:
Diffstat (limited to 'js/ui/windowManager.js')
-rw-r--r--js/ui/windowManager.js9
1 files changed, 8 insertions, 1 deletions
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 0b77916b..c2a2d133 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -199,12 +199,19 @@ const WorkspaceTracker = new Lang.Class({
global.screen.connect('window-left-monitor', Lang.bind(this, this._windowLeftMonitor));
global.screen.connect('restacked', Lang.bind(this, this._windowsRestacked));
- this._workspaceSettings = new Gio.Settings({ schema: Main.dynamicWorkspacesSchema });
+ this._workspaceSettings = this._getWorkspaceSettings();
this._workspaceSettings.connect('changed::dynamic-workspaces', Lang.bind(this, this._queueCheckWorkspaces));
this._nWorkspacesChanged();
},
+ _getWorkspaceSettings: function() {
+ let settings = global.get_overrides_settings();
+ if (settings.list_keys().indexOf('dynamic-workspaces') > -1)
+ return settings;
+ return new Gio.Settings({ schema: 'org.gnome.mutter' });
+ },
+
_checkWorkspaces: function() {
let i;
let emptyWorkspaces = [];