I updated the library and tried it but the problem seems to persist. I also noticed it persisting in the sample CM editor on the page CodeMirror Configuration Example. I don’t know if you’ve updated the code on your site yet but the behavior in my installation appears completely unchanged.