><a href="manual.html#markText"><code>markText</code></a>
    and <a href="manual.html#addLineWidget"><code>addLineWidget</code></a>
    now take a <code>handleMouseEvents</code> option.</li>
    <li>New methods: <a href="manual.html#lineAtHeight"><code>lineAtHeight</code></a>,
    <a href="manual.html#getTokenTypeAt"><code>getTokenTypeAt</code></a>.</li>
    <li>More precise cleanness-tracking
    using <a href="manual.html#changeGeneration"><code>changeGeneration</code></a>
    and <a href="manual.html#is