NPE fix

zakkak · Oct 30, 2018 · 54e882d · 54e882d
1 parent d20f11a
commit 54e882d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/extension.js b/src/extension.js
@@ -1262,7 +1262,9 @@ function disableDynamicWorkspaces() {
     } else {
         settings = global.get_overrides_settings();
     }
-    settings.set_boolean("dynamic-workspaces", false);
+    if (settings) {
+        settings.set_boolean("dynamic-workspaces", false);
+    }
 }
 
 /******************