code></a> and <a href="manual.html#option_coverGutterNextToScrollbar"><code>coverGutterNextToScrollbar</code></a>.</li>
    <li>New addon: <a href="manual.html#addon_comment">commenting</a>.</li>
    <li>More features added to the <a href="../demo/vim.html">Vim keymap</a>.</li>
    <li>Full <a href="https://github.com/codemirror/CodeMirror/compare/v3.12...3.13.0">list of patches</a>.</li>
  </ul>

  <p class="rel">19-04-2013: <a href="http://codemirror.net/codemirror-3.12.zip">Version 3.12</a>:</p>

  <ul c