dart-lang/chromedeveditor — pull request #3830 by ussuri (2014-12-24 09:21:24+00:00)
Title: Fix #3815 "File filter and search view are broken"

TBR: @gaurave

Fixes #3815. A follow-up to #3765. Purely mechanical fixes.