Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add more padding to dismiss button.

Browse source 
Add a style for mode buttons group margin

Co-authored-by: Kyle <kyle@zed.dev>
This commit is contained in:
Piotr Osiewicz 2023-08-14 15:01:01 +02:00
parent d17aba4fd3
commit f4121b42da
4 changed files with 14 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/search/src/buffer_search.rs
View file

@ -308,7 +308,7 @@ impl View for BufferSearchBar {
.aligned() .aligned()
.left() .left()
.contained() .contained()
.with_margin_right(3.), .with_style(theme.search.modes_container),
) )
.with_child( .with_child(
super::search_bar::render_close_button( super::search_bar::render_close_button(

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

@ -1617,10 +1617,12 @@ impl View for ProjectSearchBar {
.with_child(search_button_for_mode(SearchMode::Text, cx)) .with_child(search_button_for_mode(SearchMode::Text, cx))
.with_children(semantic_index) .with_children(semantic_index)
.with_child(search_button_for_mode(SearchMode::Regex, cx)) .with_child(search_button_for_mode(SearchMode::Regex, cx))
.constrained()
.with_height(theme.search.search_bar_row_height)
.aligned() .aligned()
.left() .left()
.contained() .contained()
.with_margin_right(3.), .with_style(theme.search.modes_container),
) )
.with_child( .with_child(
super::search_bar::render_close_button( super::search_bar::render_close_button(

1
crates/theme/src/theme.rs
View file

@ -391,6 +391,7 @@ pub struct Search {
pub nav_button: Toggleable<Interactive<ContainedLabel>>, pub nav_button: Toggleable<Interactive<ContainedLabel>>,
pub search_bar_row_height: f32, pub search_bar_row_height: f32,
pub option_button_height: f32, pub option_button_height: f32,
pub modes_container: ContainerStyle,
} }
#[derive(Clone, Deserialize, Default, JsonSchema)] #[derive(Clone, Deserialize, Default, JsonSchema)]

13
styles/src/style_tree/search.ts
View file

@ -165,10 +165,10 @@ export default function search(): any {
button_width: 32, button_width: 32,
corner_radius: 6, corner_radius: 6,
padding: { padding: {
top: 8, top: 10,
bottom: 8, bottom: 10,
left: 8, left: 10,
right: 8, right: 10,
}, },
background: background(theme.highest, "variant"), background: background(theme.highest, "variant"),
@ -309,6 +309,11 @@ export default function search(): any {
}), }),
search_bar_row_height: 32, search_bar_row_height: 32,
option_button_height: 22, option_button_height: 22,
modes_container: {
margin: {
right: 9
}
}
} }
} }