mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-07 02:57:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9
zed/crates/diagnostics/src
History
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
toolbar_controls.rs