Kirill Bulatov d38a2b793e Do not add diagnostics for any selection in the diagnostics panel

2023-11-10 13:35:58 +02:00

..

diagnostics.rs

Do not add diagnostics for any selection in the diagnostics panel

2023-11-10 13:35:58 +02:00

items.rs

Update diagnostics indicator when diagnostics are udpated

2023-10-13 12:13:18 +03: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