ajaxorg/cloud9 — pull request #1228 by gjtorikian (2012-04-04 19:13:56+00:00)
Title: Fix minor issues with quicksearch

Fix #1215

Fix https://github.com/ajaxorg/cloud9infra/issues/716

@giannis @linh81 @mattpardee