HI! So I noticed this and maybe you guys could help me since I have no clue why this is happening. When I copy and paste cod, the gutter lines have a height that is shorter than the height of the line, so when copying and pasting a lot of lines it’s more noticeable. I thought it was an issue with my theme at first, but it still happens wwhen I only applu basicSetup and oneDark:
Are you on the latest version of @codemirror/view? An issue like this was fixed a few months ago. If you are, can you reproduce this on the demo editors on https://codemirror.net? I cannot.
Thank you! Updating indeed solves the problem