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

Fix cropped search filters

Browse source
This commit is contained in:
Nate Butler 2023-09-05 10:24:49 -04:00
parent 42976b6014
commit e2479a7172
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -48,7 +48,7 @@ export default function search(): any {
}
return {
padding: { top: 0, bottom: 0 },
padding: { top: 4, bottom: 4 },
option_button: toggleable({
base: interactive({
@ -394,7 +394,7 @@ export default function search(): any {
}),
},
}),
search_bar_row_height: 32,
search_bar_row_height: 34,
search_row_spacing: 8,
option_button_height: 22,
modes_container: {},

4
styles/src/style_tree/toolbar.ts
View file

@ -8,8 +8,8 @@ export const toolbar = () => {
const theme = useTheme()
return {
height: 32,
padding: { left: 4, right: 4, top: 4, bottom: 4 },
height: 42,
padding: { left: 4, right: 4 },
background: background(theme.highest),
border: border(theme.highest, { bottom: true }),
item_spacing: 4,