Implement MultiBufferSnapshot::excerpt_headers_in_range
Co-Authored-By: Max Brunsfeld <maxbrunsfeld@gmail.com>
This commit is contained in:
co-authored by
Max Brunsfeld
parent
60e2c6bc52
commit
ad05c0cc7a
@@ -1,3 +1,5 @@
|
||||
use std::sync::Arc;
|
||||
|
||||
use collections::HashMap;
|
||||
use editor::{Editor, ExcerptProperties, MultiBuffer};
|
||||
use gpui::{
|
||||
@@ -64,6 +66,13 @@ impl ProjectDiagnostics {
|
||||
buffer: &buffer,
|
||||
range: diagnostic.range,
|
||||
header_height: 1,
|
||||
render_header: Some(Arc::new({
|
||||
let message = diagnostic.diagnostic.message.clone();
|
||||
move |_| {
|
||||
Text::new(message.clone(), Default::default())
|
||||
.boxed()
|
||||
}
|
||||
})),
|
||||
},
|
||||
cx,
|
||||
);
|
||||
|
||||
Reference in New Issue
Block a user