Make DOM operations for highlights more efficient #18
Description
A lot of time is spent clearing highlights even when no highlights are happening. The DOM is stupid and slow but one way or another it should be easy to avoid this.
{{ message }}
A lot of time is spent clearing highlights even when no highlights are happening. The DOM is stupid and slow but one way or another it should be easy to avoid this.