CodeMirror v5.13.2 Release Notes
Release Date: 2016-03-23 // about 8 years ago-
🛠 Bugfixes
Solves a problem where the gutter would sometimes not extend all the way to the end of the document.
Solves a problem where the gutter would sometimes not extend all the way to the end of the document.