That's a good point. Reusing a single CodeMirror instance sounds good. I will look into it soon. I'll just merge this then.