[codemirror] new version
Version 1.3.0