-
Notifications
You must be signed in to change notification settings - Fork 522
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
Linting errors are not cleared for deleted files #237
Comments
@tlycken Thank you very much for your bug report. I have reproduced the problem. I will have to figure out how to detect this deletion event in the language server. |
@tlycken I have opened rcjsuen/dockerfile-language-server#214 to capture this problem. I have also written up two proposed solutions there. |
This was referenced Apr 11, 2018
Closed
@tlycken Thanks again for the bug report. This has been fixed in the 0.0.27 release. |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Steps to reproduce:
Dockerfile
, but don't add any contents. You (correctly) get a linting error statingNo source image provided with FROM
Dockerfile
Expected behavior:
The linting error disappears from the Problems pane.
Actual behavior:
The linting error is still displayed.
Footnote:
According to the documentation for the language server protocol, it's up to the extension to clear out messages by pushing an empty array.
The text was updated successfully, but these errors were encountered: