Julia 90cbd0db5d Merge branch 'main' into unborked-git-zed2-diagnostics-view

2023-11-17 16:43:29 -05:00

..

diagnostics.rs

Merge branch 'main' into unborked-git-zed2-diagnostics-view

2023-11-17 16:43:29 -05:00

items.rs

Render a more correct diagnostic indicator status panel button

2023-11-17 16:32:35 -05:00

project_diagnostics_settings.rs

Get diagnostics view almost building in the zed2 world

2023-11-17 16:32:35 -05:00

toolbar_controls.rs

Render diagnostics header and summary

2023-11-17 16:32:35 -05:00