ajaxorg/cloud9 — pull request #664 by fjakobs (2011-12-14 15:52:24+00:00)
Title: Ace update

some Ace fixes

* dynamic gutter resize
* scrollbar fixes
* folding behavior fixes