Avoid language servers fighting over diagnostics summaries
Previously each server would stomp all over the existing results Co-Authored-By: Max Brunsfeld <max@zed.dev>
This commit is contained in:
parent
9e2949e7ba
commit
c5f86bc6af
6 changed files with 123 additions and 41 deletions
|
@ -168,7 +168,7 @@ impl ProjectDiagnosticsEditor {
|
|||
let project = project_handle.read(cx);
|
||||
let paths_to_update = project
|
||||
.diagnostic_summaries(cx)
|
||||
.map(|e| (e.0, e.1.language_server_id))
|
||||
.map(|(path, server_id, _)| (path, server_id))
|
||||
.collect();
|
||||
let summary = project.diagnostic_summary(cx);
|
||||
let mut this = Self {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue