Florian Müllner c671ff74c6 windowManager: Replace custom shader with builtin ClutterEffects ... While modal dialogs were attached to the parent's titlebar, it made sense to leave the top of the parent window at full color. With the new position of modal dialogs, it makes more sense to dim the entire parent window, so we can use a combination of Clutter's BrightnessContrast- and DesaturateEffect instead of our own custom shader. https://bugzilla.gnome.org/show_bug.cgi?id=674499		2012-07-14 03:33:57 +02:00
..
open-search-providers	search: Rename search_providers to open-search-providers	2012-02-21 23:00:53 +01:00
theme	css: Re-add rule lost in commit fd256b6	2012-07-06 19:19:22 +02:00
gnome-shell-extension-prefs.desktop.in.in	Revert "Fixed typo in string"	2012-02-22 18:50:36 -05:00
gnome-shell-overrides.convert	gsettings: Add migration file for overrides	2012-01-10 19:40:01 +01:00
gnome-shell.desktop.in.in	Don't set the autorestart hint for gnome-session	2012-03-18 02:35:14 +01:00
Makefile.am	windowManager: Replace custom shader with builtin ClutterEffects	2012-07-14 03:33:57 +02:00
org.gnome.shell.gschema.xml.in.in	clock: Switch to using GnomeWallClock, delete clock GSettings controls	2012-06-22 18:10:46 -04:00
org.gnome.ShellSearchProvider.xml	search: Add RemoteSearchProvider	2012-02-21 23:00:53 +01:00