Introduce an optional primary field to ExcerptRange

2022-06-08 12:23:12 +02:00 · 2022-06-08 12:23:12 +02:00 · 15b13fe511
commit 15b13fe511
parent ffb75b0f02
4 changed files with 66 additions and 8 deletions
--- a/crates/diagnostics/src/diagnostics.rs
+++ b/crates/diagnostics/src/diagnostics.rs
@ -351,6 +351,7 @@ impl ProjectDiagnosticsEditor {
                                    buffer.clone(),
                                    [ExcerptRange {
                                        context: excerpt_start..excerpt_end,
+                                        primary: Some(range.clone()),
                                    }],
                                    excerpts_cx,
                                )