Skip to content

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

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

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

Conversation

@jjshoe

@jjshoe jjshoe commented Mar 20, 2026

Copy link
Copy Markdown

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