Kirill Bulatov d661451e06 Properly toggle diagnostics

2023-11-06 19:29:31 +02:00

..

diagnostics.rs

Properly toggle diagnostics

2023-11-06 19:29:31 +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