Skip to content
GitLab
Explore
Sign in
minerva
core
Issues
#119
highlighting element shouldn't refresh all highlighted elements