diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-06-26 07:07:10 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-06-26 07:07:10 +0200 |
| commit | 8b78193d828d191e07a0535711d25cb6eb23c30c (patch) | |
| tree | 08d706970e82f9c0ac04eb4bd2138ea26b5b6e4a /pyGHDL | |
| parent | 205a0dccbb5e7d0b0d91b1d2634b5840af6cee6b (diff) | |
| download | ghdl-8b78193d828d191e07a0535711d25cb6eb23c30c.tar.gz ghdl-8b78193d828d191e07a0535711d25cb6eb23c30c.tar.bz2 ghdl-8b78193d828d191e07a0535711d25cb6eb23c30c.zip | |
pyGHDL/lsp: remove diagnostics when a file is closed
Diffstat (limited to 'pyGHDL')
| -rw-r--r-- | pyGHDL/lsp/workspace.py | 3 |
1 files changed, 2 insertions, 1 deletions
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}) |