Skip to content

Add workspace/didChangeWatchedFiles notification handler. Created/cha…#222

Open
jjshoe wants to merge 1 commit intorichterger:masterfrom
jjshoe:jjshoe-support-file-reload
Open

Add workspace/didChangeWatchedFiles notification handler. Created/cha…#222
jjshoe wants to merge 1 commit intorichterger:masterfrom
jjshoe:jjshoe-support-file-reload

Conversation

@jjshoe
Copy link
Copy Markdown

@jjshoe jjshoe commented Mar 20, 2026

Add workspace/didChangeWatchedFiles notification handler. Created/changed files are queued for re-parse via the parser channel. Deleted files are removed from the files and symbols hashes.

…nged files are queued for re-parse via the parser channel. Deleted files are removed from the files and symbols hashes.
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.

1 participant