KBKirill BulatovExclude gitignored files' diagnostics from project panel and its indicator.69bfd472 years agoHistory

Name	Last commit message	Last commit date
..
diagnostics.rs	Exclude gitignored files' diagnostics from project panel and its indicator.	2 years ago
items.rs	Exclude gitignored files' diagnostics from project panel and its indicator.	2 years ago
project_diagnostics_settings.rs	Introduce a new `include_warnings` setting under `diagnostics`	3 years ago
toolbar_controls.rs	Add an include/exclude warnings toggle in project diagnostics	3 years ago