this last bit feels like an unrelated bug

There's a misunderstanding. edit thinks the cursor line will be rendered and doesn't scroll. But edit.draw doesn't actually render the cursor line.

And this only happens when Viewport.zoom ~= 1.

And lines.love is definitely not seeing this problem.

Created by  Kartik K. Agaram  on October 25, 2023
LIWKX2BUGJ2S3JBILVBQ23FBBGKGOIWPILVZSFESSDSHAPYA5POQC
Change contents