zed/crates/diagnostics
Kirill Bulatov 69bfd47cf9 Exclude gitignored files' diagnostics from project panel and its indicator.
The diagnostics are collected and available still, since that might become a settings/UI toggle later.
Also, buffer diagnostics are still updated for gitignored files.
2023-11-30 15:46:30 +02:00
..
src Exclude gitignored files' diagnostics from project panel and its indicator. 2023-11-30 15:46:30 +02:00
Cargo.toml Parallelize diagnostics filling, add more logs 2023-11-05 15:06:39 +02:00