search: Reintroduce whole word switch (#3672)

It seems to have been lost in the recent styling pass.

Release Notes:

- N/A
This commit is contained in:
Piotr Osiewicz
2023-12-15 12:20:54 +01:00
committed by GitHub
parent 2b3d9deabe
commit ff3f4f3027
+19 -2
View File
@@ -1536,13 +1536,30 @@ impl Render for ProjectSearchBar {
cx,
)
})
.selected(self.is_option_enabled(SearchOptions::WHOLE_WORD, cx))
.selected(self.is_option_enabled(SearchOptions::CASE_SENSITIVE, cx))
.on_click(cx.listener(
|this, _, cx| {
this.toggle_search_option(SearchOptions::WHOLE_WORD, cx);
this.toggle_search_option(
SearchOptions::CASE_SENSITIVE,
cx,
);
},
)),
)
.child(
IconButton::new("project-search-whole-word", Icon::WholeWord)
.tooltip(|cx| {
Tooltip::for_action(
"Toggle whole word",
&ToggleWholeWord,
cx,
)
})
.selected(self.is_option_enabled(SearchOptions::WHOLE_WORD, cx))
.on_click(cx.listener(|this, _, cx| {
this.toggle_search_option(SearchOptions::WHOLE_WORD, cx);
})),
)
}),
),
);