Florian Müllner 05ddece9a0 workspaceThumbnails: Fix removal of multiple workspaces ... When workspaces have been removed, we need to remove the corresponding thumbnails as well; the number of thumbnails that need removing is the difference between the old number of workspaces and the new one. Currently we assume that the old number of workspaces corresponds to the number of existing thumbnails, but that may actually be wrong: A thumbnail will still be animated out after its workspace has been removed. As a result, we end up removing too many thumbnails when a workspace is removed while a thumbnail of a previously removed workspace is still animating out. Fix this by basing the old number of workspaces only on thumbnails that have not been removed previously. https://bugzilla.gnome.org/show_bug.cgi?id=728820		2014-04-26 17:50:38 +02:00
..
extensionPrefs	Synchronize shell startup	2013-11-04 11:50:20 -05:00
gdm	js: Name all the timeouts and idles	2014-04-10 21:08:16 +02:00
misc	loginManager: Kill ConsoleKit support	2014-04-25 15:53:45 +02:00
perf
ui	workspaceThumbnails: Fix removal of multiple workspaces	2014-04-26 17:50:38 +02:00
js-resources.gresource.xml	Add indicator for location service being used	2014-01-28 18:39:12 +00:00
Makefile.am	make NetworkManager optional	2014-02-11 18:04:44 -05:00