port.</li>
    <li>Support <code>showIfHidden</code> option for <a href="manual.html#addLineWidget">line widgets</a>.</li>
    <li>Add simple <a href="manual.html#addon_python-hint">Python hinter</a>.</li>
    <li>Bring back the <a href="manual.html#option_fixedGutter"><code>fixedGutter</code></a> option.</li>
    <li>Full <a href="https://github.com/codemirror/CodeMirror/compare/v3.0...v3.01">list of patches</a>.</li>
  </ul>

  <p class="rel">10-12-2012: <a href="http://codemirror.net/codemirror-3.0.zip">