ajaxorg/ace — pull request #1503 by AndreyNikitin (2013-07-04 09:47:19+00:00)
Title: Add suppress undo manager functionality

work on https://github.com/codio/client/issues/178