highlightAnnotation sometimes hard to find

[Alexander Nittka]

Navigating from editor to score via F3 sometimes goes to another page or scrolls on the page. If the target is right on the border, it is sometimes hard to see quickly (is it left/right/top/down...)

Could you check whether the HYPERLINK_HIGHLIGHT_PADDING constant could be set to 5 instead of 3? This would make the animated border bigger and easier to see.