zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-20 02:47:34 +03:00
Code Issues Packages Projects Releases Wiki Activity
249bec3cac
zed/crates/diagnostics/src
History
Kirill Bulatov 803ab81eb6 Update diagnostics indicator when diagnostics are udpated
2023-10-13 12:13:18 +03:00
..
diagnostics.rs Fix tests 2023-09-27 18:19:35 -06: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