diff options
| author | Poliorcetics | 2023-05-23 10:33:01 +0000 |
|---|---|---|
| committer | GitHub | 2023-05-23 10:33:01 +0000 |
| commit | 8e2660b5cc86266f90926aefe1470f48c801f8bc (patch) | |
| tree | 783197560853e4ddd63d660b33bcc99790c3ea88 /runtime/themes/README.md | |
| parent | 6043c3c3dbef8c40bdd768bb03060b7e376b7aea (diff) | |
Update diagnostics correctly on LSP exit (#7111)
* chore: avoid format! call with argument when useless
* feat: also clear diagnostics for unopened documents when exiting an LSP
* feat: we already worked on `self.editor.diagnostics` no need to redo the checks
Diffstat (limited to 'runtime/themes/README.md')
0 files changed, 0 insertions, 0 deletions