Give a full-width background to the diagnostic headers

2022-01-06 17:55:56 -08:00 · 2022-01-06 17:55:56 -08:00 · 94e9c7fd5b
commit 94e9c7fd5b
parent 2b36ab0de7
4 changed files with 27 additions and 7 deletions
--- a/crates/diagnostics/src/diagnostics.rs
+++ b/crates/diagnostics/src/diagnostics.rs
@ -289,7 +289,7 @@ impl ProjectDiagnosticsEditor {
                                diagnostic_blocks.push(DiagnosticBlock::Header(header.clone()));
                                blocks_to_add.push(BlockProperties {
                                    position: header_position,
-                                    height: 2,
+                                    height: 3,
                                    render: diagnostic_header_renderer(
                                        buffer.clone(),
                                        header,