dart-lang/spark — pull request #458 by dinhviethoa (2013-12-12 20:00:43+00:00)
Title: Refresh workspace when the focus is back on the app window

Fixed #302

@devoncarew