zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-11-07 20:39:04 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update titlebar size

Browse Source
This commit is contained in:
Nate Butler 2023-08-29 16:20:19 -04:00
parent 93cf52a719
commit c9b1237079
3 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
styles/src/component/icon_button.ts
View File

@ -60,7 +60,7 @@ export function icon_button(
corner_radius: 6, corner_radius: 6,
padding: padding, padding: padding,
margin: m, margin: m,
icon_width: 12, icon_width: 14,
icon_height: 14, icon_height: 14,
button_width: size === Button.size.Small ? 16 : 20, button_width: size === Button.size.Small ? 16 : 20,
button_height: 14, button_height: 14,

10
styles/src/style_tree/search.ts
View File

@ -31,7 +31,7 @@ export default function search(): any {
text: text(theme.highest, "mono", "default"), text: text(theme.highest, "mono", "default"),
border: border(theme.highest), border: border(theme.highest),
margin: { margin: {
right: 9, right: SEARCH_ROW_SPACING,
}, },
padding: { padding: {
top: 4, top: 4,
@ -48,7 +48,7 @@ export default function search(): any {
} }
return { return {
padding: { top: 4, bottom: 4 }, padding: { top: 0, bottom: 0 },
option_button: toggleable({ option_button: toggleable({
base: interactive({ base: interactive({
@ -273,8 +273,8 @@ export default function search(): any {
bottom: 1, bottom: 1,
}, },
padding: { padding: {
left: 12, left: 10,
right: 12, right: 10,
}, },
corner_radius: 6, corner_radius: 6,
}, },
@ -394,7 +394,7 @@ export default function search(): any {
}), }),
}, },
}), }),
search_bar_row_height: 34, search_bar_row_height: 32,
search_row_spacing: 8, search_row_spacing: 8,
option_button_height: 22, option_button_height: 22,
modes_container: {}, modes_container: {},

8
styles/src/style_tree/toolbar.ts
View File

@ -6,15 +6,15 @@ export const toolbar = () => {
const theme = useTheme() const theme = useTheme()
return { return {
height: 42, height: 32,
padding: { left: 4, right: 4, top: 4, bottom: 4 },
background: background(theme.highest), background: background(theme.highest),
border: border(theme.highest, { bottom: true }), border: border(theme.highest, { bottom: true }),
item_spacing: 8, item_spacing: 4,
toggleable_tool: toggleable_icon_button({ toggleable_tool: toggleable_icon_button({
margin: { left: 8 }, margin: { left: 4 },
variant: "ghost", variant: "ghost",
active_color: "accent", active_color: "accent",
}), }),
padding: { left: 8, right: 8 },
} }
} }