dart-lang/chromedeveditor — pull request #2933 by dinhviethoa (2014-07-22 01:02:11+00:00)
Title: Search fixes

- Fixed #2928
- Misc fixes

review: @devoncarew