mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-29 21:49:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10

Move toggle ignored button into include directories editor

Browse source
This commit is contained in:
Kirill Bulatov 2023-11-14 22:43:33 +02:00
parent 9373d38434
commit c52fe2f536
1 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
crates/search/src/project_search.rs
View file

@ -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()