Fix multiple mini-nav dots highlighted when scrolling fast#615

martinyde merged 2 commits intofeature/timeline-conversion2itk-dev/deltag.aarhus.dk:feature/timeline-conversion2from

fix/timeline-mini-nav-multiple-dotsitk-dev/deltag.aarhus.dk:fix/timeline-mini-nav-multiple-dotsCopy head branch name to clipboard