Skip to content

Incremental text document updates - #3010

Merged
dantleech merged 5 commits into
masterfrom
incremental-updates
Sep 19, 2026
Merged

dantleech merged 5 commits into
masterfrom
incremental-updates

Conversation

@dantleech

@dantleech dantleech commented Dec 29, 2025 •

Copy link
Copy Markdown
Collaborator

Instead of the IDE passing the entire document each time it will now (by default?) pass only the text edits.

This will reduce I/O (nobody cares unless running over a slow network) but it will also open the possibltiy of incrementally updating the AST.

@dantleech
dantleech marked this pull request as ready for review December 29, 2025 22:14
Comment thread composer.json Outdated
Comment thread lib/Extension/LanguageServer/LanguageServerExtension.php Outdated
@dantleech dantleech changed the title Incremental updates WIP Incremental updates Dec 29, 2025
@dantleech dantleech changed the title Incremental updates Incremental text document updates Dec 29, 2025
Instead of the IDE passing the entire document each time it will
now (by default?) pass only the text edits.

This will reduce I/O (nobody cares) but it will also open the possibltiy
of incrementally updating the AST.
@dantleech
dantleech merged commit 4c23a94 into master Sep 19, 2026
13 checks passed
@dantleech
dantleech deleted the incremental-updates branch September 19, 2026 15:20
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