dariok / wdbplus

WDB-eXist
MIT License
9 stars 7 forks source link

[mt] Use Range API for wdbDocument.highlightElements() #533

Open dariok opened 1 year ago

dariok commented 1 year ago

By now, the Range API and XPath evaluation via document.evaluate() have achieved > 94% browser support. With these, it should be possible to make wdbDocument.highhlightElements() more concise, robust and a lot faster..