diff --git a/js/ui/main.js b/js/ui/main.js index d3262ebfe..aec10d1e1 100644 --- a/js/ui/main.js +++ b/js/ui/main.js @@ -118,10 +118,9 @@ function _sessionsLoaded() { } function _initializePrefs() { - let overridesSchema = 'org.gnome.shell.overrides'; - let keys = new Gio.Settings({ schema: overridesSchema }).list_keys(); + let keys = new Gio.Settings({ schema: sessionMode.overridesSchema }).list_keys(); for (let i = 0; i < keys.length; i++) - Meta.prefs_override_preference_schema(keys[i], overridesSchema); + Meta.prefs_override_preference_schema(keys[i], sessionMode.overridesSchema); } function _initializeUI() { diff --git a/js/ui/sessionMode.js b/js/ui/sessionMode.js index 4738c2e29..4c849abfb 100644 --- a/js/ui/sessionMode.js +++ b/js/ui/sessionMode.js @@ -16,6 +16,7 @@ const _modes = { 'restrictive': { parentMode: null, stylesheetName: 'gnome-shell.css', + overridesSchema: 'org.gnome.shell.overrides', hasOverview: false, showCalendarEvents: false, allowSettings: false,