From 530193a3a224e35d8f0799c0a83dfdb6fbcdce52 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 19 Jun 2015 13:58:41 +0200 Subject: [PATCH] windowManager: Replace deprecated g_settings_list_keys() --- js/ui/windowManager.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index ecf6051e0..5a86d5ab3 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -217,7 +217,7 @@ const WorkspaceTracker = new Lang.Class({ _getWorkspaceSettings: function() { 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 new Gio.Settings({ schema_id: 'org.gnome.mutter' }); },