From 682d6a8fd116cfa7c295adeec6106913f87f0a43 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 12 Apr 2018 10:39:51 +0200 Subject: [PATCH] window-list: Handle no overrides settings We can only know about override settings that are provided by the upstream GNOME or GNOME Classic sessions, but not any custom sessions created by admins, users or distributions. Handle that case by falling back to the original settings. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/62 --- extensions/window-list/extension.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js index 760ba152..37628fa7 100644 --- a/extensions/window-list/extension.js +++ b/extensions/window-list/extension.js @@ -888,7 +888,7 @@ class WindowList { } _getWorkspaceSettings() { - let settings = global.get_overrides_settings(); + let settings = global.get_overrides_settings() || this._mutterSettings; if (settings.list_keys().indexOf('workspaces-only-on-primary') > -1) return settings; return this._mutterSettings;