From 8b78193d828d191e07a0535711d25cb6eb23c30c Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 26 Jun 2022 07:07:10 +0200 Subject: pyGHDL/lsp: remove diagnostics when a file is closed --- pyGHDL/lsp/workspace.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'pyGHDL/lsp') diff --git a/pyGHDL/lsp/workspace.py b/pyGHDL/lsp/workspace.py index 92d9cffa8..d57a4e1bf 100644 --- a/pyGHDL/lsp/workspace.py +++ b/pyGHDL/lsp/workspace.py @@ -351,7 +351,8 @@ class Workspace(object): self._docs[doc_uri].check_document(source) def rm_document(self, doc_uri): - pass + # Clear diagnostics as it's not done automatically. + self.publish_diagnostics(doc_uri, []) def apply_edit(self, edit): return self._server.request("workspace/applyEdit", {"edit": edit}) -- cgit v1.2.3