From c52fe2f536a92999b014e526c97c1942863fcc6f Mon Sep 17 00:00:00 2001 From: Kirill Bulatov Date: Tue, 14 Nov 2023 22:43:33 +0200 Subject: [PATCH] Move toggle ignored button into include directories editor --- crates/search/src/project_search.rs | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/crates/search/src/project_search.rs b/crates/search/src/project_search.rs index 74e06b4e2a..8f19e74802 100644 --- a/crates/search/src/project_search.rs +++ b/crates/search/src/project_search.rs @@ -1875,7 +1875,6 @@ impl View for ProjectSearchBar { .with_child(filter_button) .with_children(case_sensitive) .with_children(whole_word) - .with_children(include_ignored) .flex(1., false) .constrained() .contained(), @@ -1892,7 +1891,15 @@ impl View for ProjectSearchBar { .with_children(search.filters_enabled.then(|| { Flex::row() .with_child( - ChildView::new(&search.included_files_editor, cx) + Flex::row() + .with_child( + ChildView::new(&search.included_files_editor, cx) + .contained() + .constrained() + .with_height(theme.search.search_bar_row_height) + .flex(1., true), + ) + .with_children(include_ignored) .contained() .with_style(include_container_style) .constrained()