Skip to content

feat: didChange text document notification#53

Merged
Tobiky merged 7 commits intomal-lang:masterfrom
tagyieh:feat/didChangeTextDocument_notification
Aug 7, 2025
Merged

feat: didChange text document notification#53
Tobiky merged 7 commits intomal-lang:masterfrom
tagyieh:feat/didChangeTextDocument_notification

Conversation

@tagyieh
Copy link
Collaborator

@tagyieh tagyieh commented Aug 6, 2025

This PR allows the server to handle notifications about changes to files.

Closes: #17

@tagyieh tagyieh requested a review from Tobiky August 6, 2025 14:49
Copy link
Collaborator

@Tobiky Tobiky left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The added fixture-like constant have the same problem as last time, but we'll fix them as part of #52 . I will modify the issue to take this into account.

@Tobiky Tobiky mentioned this pull request Aug 6, 2025
@Tobiky Tobiky merged commit 0e408aa into mal-lang:master Aug 7, 2025
4 checks passed
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.

Implement textDocument/didChange notification handling

2 participants