[gnome-shell] windowManager: Handle missing overrides settings

[Florian Müllner <fmuellner src gnome org>]

commit dfc4cc4aafd1ca3dd52573418ca1303a2dcb8cf0
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Jul 3 22:11:24 2015 +0200

    windowManager: Handle missing overrides settings
    
    shell_global_get_overrides_settings() may return %NULL in case of
    custom shell modes (i.e. not the default and classic ones); while
    this is not officially encouraged, we should still handle it rather
    than throw an error.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=751921

 js/ui/windowManager.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 5a86d5a..e373723 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -217,7 +217,8 @@ const WorkspaceTracker = new Lang.Class({
 
     _getWorkspaceSettings: function() {
         let settings = global.get_overrides_settings();
-        if (settings.settings_schema.list_keys().indexOf('dynamic-workspaces') > -1)
+        if (settings &&
+            settings.settings_schema.list_keys().indexOf('dynamic-workspaces') > -1)
             return settings;
         return new Gio.Settings({ schema_id: 'org.gnome.mutter' });
     },