If you select a word in the editor, all similar words are highlighted in blue on the right of the edit window.
If you set zoom to > 100%, the scroll bar does not always correctly include the blue marks.
In the example, the scroll bar claims to cover several highlighted words, but in fact none are visible in the edit window...
If you set zoom to > 100%, the scroll bar does not always correctly include the blue marks.
In the example, the scroll bar claims to cover several highlighted words, but in fact none are visible in the edit window...
