Skip to content

[diffs/editor] Fix cursor move#799

Merged
ije merged 7 commits into
beta-1.3from
editor/fix-cursor-move
Jun 10, 2026
Merged

[diffs/editor] Fix cursor move#799
ije merged 7 commits into
beta-1.3from
editor/fix-cursor-move

Conversation

@ije

@ije ije commented Jun 10, 2026

Copy link
Copy Markdown
Collaborator
  • normalize selection after cursor moved
  • replace textDocument.getLineText(line).length with the new textDocument.getLineLength(line)` method

@vercel

vercel Bot commented Jun 10, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
pierre-docs-diffs Ready Ready Preview Jun 10, 2026 3:10pm
pierre-docs-diffshub Ready Ready Preview Jun 10, 2026 3:10pm
pierre-docs-trees Ready Ready Preview Jun 10, 2026 3:10pm
pierrejs-diff-demo Ready Ready Preview Jun 10, 2026 3:10pm

Request Review

@ije ije merged commit 7b5ba27 into beta-1.3 Jun 10, 2026
13 checks passed
@ije ije deleted the editor/fix-cursor-move branch June 10, 2026 23:56
amadeus pushed a commit that referenced this pull request Jun 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants