Florian Müllner d0910da036 Port preferences to GSettings ... 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		2011-11-11 20:26:38 +01:00
..
man	Port preferences to GSettings	2011-11-11 20:26:38 +01:00
.cvsignore
code-overview.txt
compositor-control.txt	Comprehensively rename to Mutter	2009-06-16 14:17:10 -04:00
dialogs.txt
how-constraints-works.txt
how-to-get-focus-right.txt
Makefile.am	Comprehensively rename to Mutter	2009-06-16 14:17:10 -04:00
strut-and-related-updating.txt
theme-format.txt	theme: Allow using custom colors from the GTK+ theme	2011-07-08 22:40:43 +02:00