ajaxorg/cloud9 — pull request #1433 by javruben (2012-05-07 05:38:01+00:00)
Title: Ui/search

Implements search as a bar in the bottom of the window with a new skin from @davidvb. It adds syntax highlighting for regex search and multiline search (alt-enter or shift-enter). This also fixes *many* issues with search. Open issues are in the refactor milestone. Please note that all current open issues also exist on master.

This is branched of ui/refactor. Please pull that one here:
https://github.com/ajaxorg/cloud9/pull/1424