a href="../demo/widget.html">the demo</a>
  and <a href="manual.html#addLineWidget">the docs</a>.</li>
  <li>Defining custom options
  with <a href="manual.html#defineOption"><code>CodeMirror.defineOption</code></a>.</li>
</ul>
</section>
</article>

<script>setTimeout(function(){CodeMirror.colorize();}, 20);</script>
