Kirill Bulatov ad93d9132f Correctly update old diagnostics

2023-11-05 15:37:27 +02:00

..

diagnostics.rs

Correctly update old diagnostics

2023-11-05 15:37:27 +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