6 Oct
2016
6 Oct
'16
5:15 a.m.
Hello!
I've noticed that recent changes have broken jumping to search result occurrences in documents which aren't the current tab. I.e. clicking on a search result opens the document (or switches to a tab with it already open) and puts the cursor in the correct place, but doesn't scroll the document so that the matched occurrence is visible (i.e. so you have to up/down arrow to move the scroll correctly).
Cheers,
David.