diff --git a/src/extension.js b/src/extension.js
index e0728ee..7ad5788 100644
--- 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);
+    }
 }
 
 /******************