Florian Müllner ca7c4edd41 windowManager: Update dim effect ... The combination of desaturating and lowering the brightness does not work too well in all cases, in particular for applications using the dark theme variant. Dropping the desaturation effect and making the brightness adjustment more profound gives a better result. https://bugzilla.gnome.org/show_bug.cgi?id=681601		2012-08-16 09:52:17 +02:00
..
extensionPrefs	Remove markup from translated strings	2012-08-06 11:59:14 -04:00
gdm	loginDialog: Remove manual insensitive tracking	2012-08-07 11:51:12 -03:00
misc	util: Don't pass too many arguments to GLib.spawn_async	2012-08-07 15:09:28 -03:00
perf	js: use System.gc() instead of shell_global_gc()	2012-07-12 20:11:38 -04:00
ui	windowManager: Update dim effect	2012-08-16 09:52:17 +02:00
Makefile.am	js: Remove StatusIconDispatcher	2012-08-03 11:51:53 -03:00