Hmmm. This isn't a public CodeMirror API, and I wonder if it's intentional that it's visible to the outside world. I think we should check with Marijn before depending on it. Could you start a conversation with him on the Google group or email?