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
This commit is contained in:
Florian Müllner 2013-06-06 16:40:02 +02:00
parent 6c2f3d1d17
commit 91844e48e9
2 changed files with 3 additions and 3 deletions

View File

@ -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() {

View File

@ -16,6 +16,7 @@ const _modes = {
'restrictive': {
parentMode: null,
stylesheetName: 'gnome-shell.css',
overridesSchema: 'org.gnome.shell.overrides',
hasOverview: false,
showCalendarEvents: false,
allowSettings: false,