Florian Müllner 6ab25cd791 windowManager: Update animation of attached modals ... With modal dialogs no longer being attached to their parents' titlebar, the current animation no longer works too well. Use a simple fade animation instead. https://bugzilla.gnome.org/show_bug.cgi?id=674499		2012-07-14 03:33:56 +02:00
..
extensionPrefs	extensionUtils: Create and load the extension object when scanning	2012-06-12 17:16:08 -04:00
gdm	Implemented banner support for the login screen	2012-07-06 09:01:25 -04:00
misc	extensionDownloader: Add update/blacklist support for extensions	2012-07-10 14:36:41 -04:00
perf	js: use System.gc() instead of shell_global_gc()	2012-07-12 20:11:38 -04:00
ui	windowManager: Update animation of attached modals	2012-07-14 03:33:56 +02:00
Makefile.am	shell: Remove ContactSystem	2012-06-29 11:21:50 +02:00