gnome-shell/js
Florian Müllner ae2751a68b main: Move pref overrides back into C
Commit 6c2f3d1d17 moved pref overrides into JS to implement
session mode specific overrides in a clean and generic way.
However that approach comes with a cost - doing the overrides only
after having handled over control to JS means that the core will
be initialized with the non-overridden settings before changing
to the correct values. In the best case this is unnecessary work,
but it can in fact have a worse effect: when initializing workspaces,
we will restore the previous number of workspaces when using
dynamic-workspaces and reset to the configured number otherwise.
As the non-overridden default for dynamic-workspaces is FALSE, we
can easily end up moving the user's windows to the "wrong" workspace.

Now GSettings is expected to grow support for session specific defaults,
which will render our entire override system obsolete (yay!). Given
that, it seems acceptable to use a less generic (and uglier) approach
in the meanwhile, in order to fix aforementioned problems. So move
overrides back before core initialization and just hardcode the
session-mode => override-schema relation.

https://bugzilla.gnome.org/show_bug.cgi?id=695487
2014-06-09 21:52:03 +02:00
..
extensionPrefs extensionPrefs: Skip main window when launched with a UUID 2014-05-27 18:02:25 +02:00
gdm loginDialog: Remove unused variable 2014-05-28 22:01:54 +02:00
misc util: Don't pass too many arguments to child_watch_add 2014-04-28 10:22:51 -04:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui main: Move pref overrides back into C 2014-06-09 21:52:03 +02:00
js-resources.gresource.xml Implement window menus in gnome-shell 2014-05-17 15:17:29 -04:00
Makefile.am make NetworkManager optional 2014-02-11 18:04:44 -05:00