ajaxorg/cloud9 — pull request #1462 by javruben (2012-05-09 22:58:55+00:00)
Title: Ui/search

@vladzinculescu Please let me know when this can be pulled.