Kirill Bulatov 7145fabb6d Eagerly refresh diagnostics that do not intercept with user input

2023-11-05 14:44:22 +02:00

..

diagnostics.rs

Eagerly refresh diagnostics that do not intercept with user input

2023-11-05 14:44:22 +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