Giovanni Campagna 3a26f7f4d5 WindowManager: WORKAROUND: disable dimming in the overview ... Clones and effects don't mix, due to a bug in Clutter we don't know how to fix, and sometimes the clone is clipped completely. As a workaround, undim windows with dialogs in the overview. Clutter bug: https://bugzilla.gnome.org/show_bug.cgi?id=659523 https://bugzilla.gnome.org/show_bug.cgi?id=650843		2014-01-19 16:38:19 +01:00
..
extensionPrefs	Synchronize shell startup	2013-11-04 11:50:20 -05:00
gdm	loginDialog: move user list loading after actors are constructed	2014-01-13 12:42:39 -05:00
misc	Use recommended quotes	2014-01-17 16:34:44 -05:00
perf	perf: Update to latest overlay changes	2012-08-20 20:40:01 +02:00
ui	WindowManager: WORKAROUND: disable dimming in the overview	2014-01-19 16:38:19 +01:00
js-resources.gresource.xml	Remove our custom hashmap implementation	2014-01-15 00:55:00 +01:00
Makefile.am	build: Add built js-resources to CLEANFILES	2013-11-13 21:24:30 +01:00