Skip to content

Resolve "highlighting element shouldn't refresh all highlighted elements"

Closes #119 (closed)

Merge request reports