Avoid keeping stale LSP progress indicator state when server is removed

2023-09-12 15:14:49 -04:00
parent b0facf8e1e
commit c6f293076e
1 changed files with 2 additions and 1 deletions
@@ -32,7 +32,8 @@ impl DiagnosticIndicator {
                this.in_progress_checks.insert(*language_server_id);
                cx.notify();
            }
-            project::Event::DiskBasedDiagnosticsFinished { language_server_id } => {
+            project::Event::DiskBasedDiagnosticsFinished { language_server_id }
+            | project::Event::LanguageServerRemoved(language_server_id) => {
                this.summary = project.read(cx).diagnostic_summary(cx);
                this.in_progress_checks.remove(language_server_id);
                cx.notify();