When scrolling to the middle of https://codemirror.net/6/examples/million/, putting the cursor there and doing select-all shows some shifting in the vertical position of the text. Probably something to do with the extra viewports created for the selection endpoints.
When scrolling to the middle of https://codemirror.net/6/examples/million/, putting the cursor there and doing select-all shows some shifting in the vertical position of the text. Probably something to do with the extra viewports created for the selection endpoints.