dart-lang/spark — pull request #752 by devoncarew (2014-01-17 21:33:06+00:00)
Title: Devoncarew launch fix

Fix for an issue where launching would not work after Spark lost and re-gained focus. Their were multiple copies of workspace objects around, some populated with correct information and some with incomplete info, esp. wrt their children. We'll need to re-visit how we do refresh.

@keertip @dinhviethoa