sync highlighter's scroll position, closes #7