csoriano89 468a855f04 make the window thumbnails bigger ... Adjust the layout of the overview and window thumbnails to make them bigger. Also, make the background shade darker to compensate for the increased thumbnail density. https://bugzilla.gnome.org/show_bug.cgi?id=689876		2012-12-14 12:58:43 +00:00
..
extensionPrefs
gdm
misc	Reverting "extensionUtils: Remove unused property"	2012-12-13 14:16:44 -05:00
perf
ui	make the window thumbnails bigger	2012-12-14 12:58:43 +00:00
Makefile.am