diff options
Diffstat (limited to 'js/ui/windowManager.js')
-rw-r--r-- | js/ui/windowManager.js | 9 |
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 = []; |