GoogleChrome/apps-developer-tools — pull request #92 by p-march (2014-05-19 23:04:57+00:00)
Title: Bug fix.

When search box goes out of focus, it gets empty, but the main
page does not get updated and still shows filtered extensions.
This bug is fixed.

review: @adrifelt