dart-lang/chromedeveditor — pull request #2942 by dinhviethoa (2014-07-23 22:42:31+00:00)
Title: additional fixes on search

- Scroll to show result
- fixed text color when selected to improve readability

review: @devoncarew