[gnome-shell/gnome-3-8] main: Pick up overridesSchema from sessionMode

[Florian Müllner <fmuellner src gnome org>]

commit 36b1cd13c9d9e8302e77db1d92231472b9bc072c
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Jun 6 16:40:02 2013 +0200

    main: Pick up overridesSchema from sessionMode
    
    This will allow the use of mode-specific defaults. For classic mode
    we currently implement this with mini-extensions, but this may result
    in confusing behavior when settings change due to extensions being
    disabled during screen locks (not to mention that those mini-extensions
    are hardly an elegant approach).
    
    https://bugzilla.gnome.org/show_bug.cgi?id=701717

 js/ui/main.js        |    4 ++--
 js/ui/sessionMode.js |    1 +
 2 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index 2c5217c..10c9fb5 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 cfb315e..8ca7d36 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,