codio/CodeMirror — pull request #3 by Dignifiedquire (2013-11-07 14:31:50+00:00)
Title: [WIP] Allow local undo

This will allow local undo with ShareJS for `0.6` and `0.7` without any modifications to ShareJS itself.

See Dignifiedquire/undo for a usage example.