I logged https://phabricator.wikimedia.org/T177043 , but I'm not sure I used the right component for it.
Topic on Extension talk:CodeMirror
This post was hidden by Trizek (WMF) (history)
Thanks for reporting this -- I added the ticket to the team's backlog, and we'll check it out.