tree 009bc4af0e56a35827af25c4194c8f1e6b2ad04f
parent 7a62abc8fb5f363c2241148c31833947533b51b1
author Gerben <gerben@treora.com> 1583449733 +0100
committer Gerben <gerben@treora.com> 1583450783 +0100

Use removeHighlight() instead of replacing innerHTML

Note that text nodes that are split by the highlighter will remain split
after a cleanup(). This reveals a bug in our matching functions, as the
“any deeper nesting” example now fails to find any matches (except at a
first try, when the text nodes are not yet split).