marijnh/CodeMirror2 — pull request #247 by dbertram (2011-11-16 20:16:57+00:00)
Title: add (very) basic support for getting/setting the internal History object issue #135

It's not exactly rigorous in its safety checks, and this approach does involve exposing the History object as a sort of API, but it's enough to enable me to add the "store/restore" functionality I mentioned in issue #135.