From 9889449a81f2f552c807ed687d4312acc34eb0f0 Mon Sep 17 00:00:00 2001 From: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com> Date: Fri, 4 Aug 2023 18:54:27 +0200 Subject: [PATCH] Adjust row count for project search. Instead of using the same row count as for the breadcrumbs, we double the height so that there's some space for padding. Co-authored-by: Kyle --- crates/search/src/project_search.rs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/crates/search/src/project_search.rs b/crates/search/src/project_search.rs index e746d75cdda033cd812a493dca6d249b8fdb0e5a..e2ad89117f750ad5522e8b70e6162d2cc8a7b6c2 100644 --- a/crates/search/src/project_search.rs +++ b/crates/search/src/project_search.rs @@ -1970,6 +1970,7 @@ impl View for ProjectSearchBar { ) .with_children(matches) .aligned() + .top() .left(), ) .contained() @@ -2015,6 +2016,7 @@ impl View for ProjectSearchBar { .with_style(theme.search.container) .aligned() .right() + .top() .flex(1., true), ) .with_children( @@ -2027,6 +2029,7 @@ impl View for ProjectSearchBar { .flex(1., true), ) .contained() + .with_uniform_padding(theme.workspace.toolbar.height / 3.) .flex_float() .into_any_named("project search") } else { @@ -2060,9 +2063,9 @@ impl ToolbarItemView for ProjectSearchBar { .as_ref() .map(|search| { let offset = search.read(cx).filters_enabled as usize; - 1 + offset + 2 + offset }) - .unwrap_or_else(|| 1) + .unwrap_or_else(|| 2) } }