Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Problems don't update when files are deleted #243

Closed
Jantho1990 opened this issue Oct 27, 2020 · 2 comments
Closed

Problems don't update when files are deleted #243

Jantho1990 opened this issue Oct 27, 2020 · 2 comments
Labels
archived bug language server Issue is not originating from this extension, but from the LSP instead

Comments

@Jantho1990
Copy link

When a file is deleted, any issues for that file that are listed under the Problems tab stay there until you restart VS Code.

image

@linkpy
Copy link
Contributor

linkpy commented Oct 27, 2020

The issue doesn't seems to come from the VSCode plugin itself.

When a file is deleted, the LSP doesn't republish the diagnostics. I assume the LSP doesn't detect these file deletion. Futher more, the LSP specification defines the creator of the diagnostics as their owner (see microsoft/language-server-protocol#463).

The issue cannot be fixed on the extension side as there is no way in the API to clear out diagnostics from VS Code itself.

Issue godotengine/godot#43133 open for resolving this issue on the LSP server.

@Calinou
Copy link
Member

Calinou commented Oct 27, 2020

Closing per @linkpy's comment.

@Calinou Calinou closed this as completed Oct 27, 2020
@Calinou Calinou added archived language server Issue is not originating from this extension, but from the LSP instead labels Oct 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
archived bug language server Issue is not originating from this extension, but from the LSP instead
Projects
None yet
Development

No branches or pull requests

3 participants