Tassilo Horn 33a3b8046d Add org.gnome.shell.enabled-extensions complementing disabled-extensions ... If the former is empty (default), only the extensions not contained in the latter are loaded. Else, all extensions in the former that are not contained in the latter are loaded. https://bugzilla.gnome.org/show_bug.cgi?id=651088		2011-05-25 17:53:06 -04:00
..
search_providers
shaders
theme	Use the same selection color as the gtk theme.	2011-05-19 18:52:57 +02:00
gnome-shell.desktop.in.in	gnome-shell.desktop: Set autorestart flag	2011-03-21 15:57:49 -04:00
gnome-shell.schemas
Makefile.am	build: Remove deleted files from Makefile	2011-04-26 22:49:19 +02:00
org.gnome.shell.gschema.xml.in	Add org.gnome.shell.enabled-extensions complementing disabled-extensions	2011-05-25 17:53:06 -04:00