dart-lang/chromedeveditor — pull request #2736 by devoncarew (2014-06-29 06:02:08+00:00)
Title: fix an issue with navigation in the files view

Fixes https://github.com/dart-lang/chromedeveditor/issues/2709. @umop, @ussuri