ajaxorg/cloud9 — pull request #1731 by gjtorikian (2012-06-20 05:30:11+00:00)
Title: Ui/search updates

Extra additions to searchinfiles based on prelimnary review by @javruben:

1. Add a preference for "launch files from console search navigation." Off by default
2. Remove selection on double click
3. Make Ace show on console reveal

For 3 I am not too thrilled with the results. The resize happens after the actual reveal. Is there a way to trigger it before the full reveal--like on the first step of the animation?