Your monthly CodeMirror release is out. This one is mostly uneventful. One thing to watch out for is that if you’re using the Jade/Pug templating mode, you have to load it as mode/pug/pug.js instead of mode/jade/jade.js now.
Make sure gutter backgrounds stick to the rest of the gutter during horizontal scrolling.
inputStyle now properly supports pasting on pre-Edge IE versions.
matchbrackets addon: Fix bug where active highlighting was left in editor when the addon was disabled.
match-highlighter addon: Only start highlighting things when the editor gains focus.
addOverlay method now supports a
priority option to control the order in which overlays are applied.
MIME types that end in
+json now default to the JSON mode when the MIME itself is not defined.
The mode formerly known as Jade was renamed to Pug.
The Python mode now defaults to Python 3 (rather than 2) syntax.