GoogleChrome/apps-developer-tools — pull request #88 by spostman (2014-05-14 17:58:52+00:00)
Title: Make a search value consistent with the search box.

review: @p-march, @mvrable

I have one concern such that our search box works only after a user push down "ENTER" key. This scenarios is inconsistent with the search box in the main window.