mirror of
https://github.com/brl/mutter.git
synced 2025-02-19 14:44:10 +00:00

Move preferences to GSettings, using mainly shared schemas from gsettings-desktop-schemas. Unlike GConf, GSettings support is not optional, as Gio is already a hard dependency of GTK+. https://bugzilla.gnome.org/show_bug.cgi?id=635378