mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-10 20:41:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

Add headers and footers to file finder

Browse source
This commit is contained in:
Piotr Osiewicz 2023-06-26 13:31:46 +02:00
parent a9b5c1d867
commit 55f06dcdb5
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
crates/picker/src/picker.rs
View file

@ -45,6 +45,12 @@ pub trait PickerDelegate: Sized + 'static {
fn center_selection_after_match_updates(&self) -> bool { fn center_selection_after_match_updates(&self) -> bool {
false false
} }
fn render_header(&self, cx: &AppContext) -> Option<AnyElement<Picker<Self>>> {
None
}
fn render_footer(&self, cx: &AppContext) -> Option<AnyElement<Picker<Self>>> {
None
}
} }
impl<D: PickerDelegate> Entity for Picker<D> { impl<D: PickerDelegate> Entity for Picker<D> {
@ -77,6 +83,7 @@ impl<D: PickerDelegate> View for Picker<D> {
.contained() .contained()
.with_style(editor_style), .with_style(editor_style),
) )
.with_children(self.delegate.render_header(cx))
.with_children(if match_count == 0 { .with_children(if match_count == 0 {
if query.is_empty() { if query.is_empty() {
None None
@ -118,6 +125,7 @@ impl<D: PickerDelegate> View for Picker<D> {
.into_any(), .into_any(),
) )
}) })
.with_children(self.delegate.render_footer(cx))
.contained() .contained()
.with_style(container_style) .with_style(container_style)
.constrained() .constrained()