jagthedrummer/codemirror-ui — pull request #20 by sopppas (2012-10-26 22:02:55+00:00)
Title: update to codemirror 2.35

Hello
only updated to the latest CM version from 22.Oct.
i believe everything works fine.
cheers, rui