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

windowManager: Replace deprecated g_settings_list_keys()

Browse Source
This commit is contained in:
Florian Müllner 2015-06-19 13:58:41 +02:00
parent 52e3149040
commit 530193a3a2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
js/ui/windowManager.js
View File

@ -217,7 +217,7 @@ const WorkspaceTracker = new Lang.Class({
_getWorkspaceSettings: function() { _getWorkspaceSettings: function() {
let settings = global.get_overrides_settings(); let settings = global.get_overrides_settings();
if (settings.list_keys().indexOf('dynamic-workspaces') > -1) if (settings.settings_schema.list_keys().indexOf('dynamic-workspaces') > -1)
return settings; return settings;
return new Gio.Settings({ schema_id: 'org.gnome.mutter' }); return new Gio.Settings({ schema_id: 'org.gnome.mutter' });
}, },