diff --git a/js/ui/main.js b/js/ui/main.js index 2c5217c8a..10c9fb597 100644 --- a/js/ui/main.js +++ b/js/ui/main.js @@ -116,9 +116,9 @@ function _sessionsLoaded() { } function _initializePrefs() { - let keys = new Gio.Settings({ schema: OVERRIDES_SCHEMA }).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], OVERRIDES_SCHEMA); + Meta.prefs_override_preference_schema (keys[i], sessionMode.overridesSchema); } function _initializeUI() { diff --git a/js/ui/sessionMode.js b/js/ui/sessionMode.js index cfb315e8b..8ca7d3608 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,