brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

main: Pick up overridesSchema from sessionMode

Browse Source 
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 bcede26d77
commit 36b1cd13c9
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
js/ui/main.js
View File

@ -116,9 +116,9 @@ function _sessionsLoaded() {
} }
function _initializePrefs() { 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++) 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() { function _initializeUI() {

1
js/ui/sessionMode.js
View File

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