mirror of
https://github.com/brl/mutter.git
synced 2025-02-04 23:54:09 +00:00
d0910da036
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