ajaxorg/ace — pull request #1410 by Joonsoo (2013-05-03 09:02:28+00:00)
Title: Dirty check functionality added into UndoManager

This API is to provide the functionality to check if the document is dirty or not according the the change history.

Refer to [this](https://github.com/marijnh/CodeMirror/pull/919)