marijnh/CodeMirror — pull request #1816 by brettz9 (2013-09-11 01:29:56+00:00)
Title: Update demo's textarea to reflect updated API (as already used in the co...

...de on the same page)