ajaxorg/cloud9 — comment on commit b9a54547ace036953ecca483eedfe72a4abff385
File: client/ext/codetools/codetools.js line 249
By mikedeboer:

partially fixed in f3f7a57, could not workaround it completely, due to issues I'm having with the ACE UndoManager implementation. I will work on this later together with Fabian.