outline panel: Improve the search query header design (#25283)

Fine-tuning alignment and spacing.

| Before | After |
|--------|--------|
| ![CleanShot 2025-02-20 at 5  45
09@2x](https://github.com/user-attachments/assets/0db377b2-e030-4a88-8465-fb8c3a535ad3)
| ![CleanShot 2025-02-20 at 5  44
33@2x](https://github.com/user-attachments/assets/ccabef92-3e2b-47b8-a766-2f707d9d9e8f)
|

Release Notes:

- N/A
This commit is contained in:
Danilo Leal 2025-02-20 18:09:33 -03:00 committed by GitHub
parent 4151b5b12b
commit 3c8dbaf06b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -4950,13 +4950,16 @@ impl Render for OutlinePanel {
.track_focus(&self.focus_handle) .track_focus(&self.focus_handle)
.when_some(search_query, |outline_panel, search_state| { .when_some(search_query, |outline_panel, search_state| {
outline_panel.child( outline_panel.child(
v_flex() h_flex()
.child( .py_1p5()
Label::new(format!("Searching: '{}'", search_state.query)) .px_2()
.color(Color::Muted) .h(DynamicSpacing::Base32.px(cx))
.mx_2(), .flex_shrink_0()
) .border_b_1()
.child(horizontal_separator(cx)), .border_color(cx.theme().colors().border)
.gap_0p5()
.child(Label::new("Searching:").color(Color::Muted))
.child(Label::new(format!("'{}'", search_state.query))),
) )
}) })
.child(self.render_main_contents(query, show_indent_guides, indent_size, window, cx)) .child(self.render_main_contents(query, show_indent_guides, indent_size, window, cx))