prefs: Remove override system

Desktop / GNOME / Mutter - Florian Müllner [gnome.org] - 31 July 2018 18:38 EDT

With the support for per-desktop default values in GSettings, we no longer need the mutter-specific override mechanism.

https://bugzilla.gnome.org/show_bug.cgi?id=786496

3d75b48d5 prefs: Remove override system
src/core/prefs.c | 128 -------------------------------------------------------
src/meta/prefs.h | 3 --
2 files changed, 131 deletions(-)

Upstream: git.gnome.org


  • Share