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

Tweak avatar sizes in titlebar

Browse source
This commit is contained in:
Nathan Sobo 2021-11-28 12:41:46 -07:00
parent 6ce76ca13e
commit a5039cad65
3 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -42,6 +42,7 @@ pub struct Workspace {
pub struct Titlebar { pub struct Titlebar {
#[serde(flatten)] #[serde(flatten)]
pub container: ContainerStyle, pub container: ContainerStyle,
pub height: f32,
pub title: TextStyle, pub title: TextStyle,
pub avatar_width: f32, pub avatar_width: f32,
pub offline_icon: OfflineIcon, pub offline_icon: OfflineIcon,

2
crates/workspace/src/lib.rs
View file

@ -984,7 +984,7 @@ impl Workspace {
.with_style(theme.workspace.titlebar.container) .with_style(theme.workspace.titlebar.container)
.boxed(), .boxed(),
) )
.with_height(32.) .with_height(theme.workspace.titlebar.height)
.named("titlebar") .named("titlebar")
} }

9
crates/zed/assets/themes/_base.toml
View file

@ -6,9 +6,10 @@ background = "$surface.0"
pane_divider = { width = 1, color = "$border.0" } pane_divider = { width = 1, color = "$border.0" }
[workspace.titlebar] [workspace.titlebar]
height = 32
border = { width = 1, bottom = true, color = "$border.0" } border = { width = 1, bottom = true, color = "$border.0" }
title = "$text.0" title = "$text.0"
avatar_width = 20 avatar_width = 18
icon_color = "$text.2.color" icon_color = "$text.2.color"
avatar = { corner_radius = 10, border = { width = 1, color = "#00000088" } } avatar = { corner_radius = 10, border = { width = 1, color = "#00000088" } }
outdated_warning = { extends = "$text.2", size = 13 } outdated_warning = { extends = "$text.2", size = 13 }
@ -46,7 +47,7 @@ background = "$surface.1"
text = "$text.0" text = "$text.0"
[workspace.sidebar] [workspace.sidebar]
width = 32 width = 30
border = { right = true, width = 1, color = "$border.0" } border = { right = true, width = 1, color = "$border.0" }
[workspace.sidebar.resize_handle] [workspace.sidebar.resize_handle]
@ -149,7 +150,7 @@ color = "$text.1.color"
[contacts_panel] [contacts_panel]
extends = "$panel" extends = "$panel"
host_row_height = 28 host_row_height = 28
host_avatar = { corner_radius = 10, width = 20 } host_avatar = { corner_radius = 10, width = 18 }
host_username = { extends = "$text.0", padding.left = 8 } host_username = { extends = "$text.0", padding.left = 8 }
tree_branch_width = 1 tree_branch_width = 1
tree_branch_color = "$surface.2" tree_branch_color = "$surface.2"
@ -157,7 +158,7 @@ tree_branch_color = "$surface.2"
[contacts_panel.worktree] [contacts_panel.worktree]
height = 24 height = 24
padding = { left = 8 } padding = { left = 8 }
guest_avatar = { corner_radius = 8, width = 16 } guest_avatar = { corner_radius = 8, width = 14 }
guest_avatar_spacing = 4 guest_avatar_spacing = 4
[contacts_panel.worktree.name] [contacts_panel.worktree.name]