From 6f78a1633dd0ceefc75f17bb1b7f4882431b8e33 Mon Sep 17 00:00:00 2001 From: KCaverly Date: Wed, 16 Aug 2023 13:51:41 +0100 Subject: [PATCH] fix editor height in buffer search, but the dancing is back Co-authored-by: Piotr --- crates/search/src/buffer_search.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/crates/search/src/buffer_search.rs b/crates/search/src/buffer_search.rs index 6fe8712ee08ab8ebabdaca59bcfb4d253f8f85a5..0637191f97182f29a2d82e28edf1a5261f2bcb9b 100644 --- a/crates/search/src/buffer_search.rs +++ b/crates/search/src/buffer_search.rs @@ -263,6 +263,7 @@ impl View for BufferSearchBar { .constrained() .with_min_width(theme.search.editor.min_width) .with_max_width(theme.search.editor.max_width) + .with_height(theme.search.search_bar_row_height) .flex(1., false), ) .contained() @@ -295,6 +296,7 @@ impl View for BufferSearchBar { .with_child(mode_column) .contained() .with_style(theme.search.container) + .aligned() .into_any_named("search bar") } }