dart-lang/chromedeveditor — pull request #3508 by keertip (2014-10-06 15:48:34+00:00)
Title: fix navigation when deleting project

@umop

fix for #3440