From 8d45345c5491d401ad3fe57bfe42d065f8710713 Mon Sep 17 00:00:00 2001 From: light-ly Date: Mon, 6 Jan 2025 01:07:11 +0800 Subject: [PATCH] skip close when linter mode is None --- src/server.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/server.rs b/src/server.rs index ea4350b..7a7f295 100644 --- a/src/server.rs +++ b/src/server.rs @@ -255,9 +255,10 @@ impl LanguageServer for Backend { async fn did_close(&self, params: DidCloseTextDocumentParams) { // 获取诊断相关的配置信息，如果 mode 为 common，则需要清空关闭文件的诊断信息 - let linter_mode = self.server.db.get_lsp_configuration_string_value("digital-ide.function.lsp.linter.mode").unwrap(); - if linter_mode == "common" { - self.client.publish_diagnostics(params.text_document.uri, vec![], None).await; + if let Some(linter_mode) = self.server.db.get_lsp_configuration_string_value("digital-ide.function.lsp.linter.mode") { + if linter_mode == "common" { + self.client.publish_diagnostics(params.text_document.uri, vec![], None).await; + } } }