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
..
diagnostics.rs	Exclude gitignored files' diagnostics from project panel and its indicator.	2023-11-30 15:46:30 +02:00
items.rs	Exclude gitignored files' diagnostics from project panel and its indicator.	2023-11-30 15:46:30 +02:00
project_diagnostics_settings.rs	Introduce a new include_warnings setting under diagnostics	2023-09-27 18:08:08 -06:00
toolbar_controls.rs	Add an include/exclude warnings toggle in project diagnostics	2023-09-27 17:47:19 -06:00