ajaxorg/cloud9 — pull request #880 by fjakobs (2012-01-30 13:25:50+00:00)
Title: when stripes is enabled the undo stack is cleared on save

we need to setValue on the document and not the edit session

https://github.com/ajaxorg/ace/blob/master/lib/ace/edit_session.js#L158

@sergi