zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-20 02:47:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix invalid theme variables

Browse Source
This commit is contained in:
Antonio Scandurra 2021-12-21 10:25:37 +01:00
parent c6dd797f4e
commit 5d2c4807db
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
crates/zed/assets/themes/_base.toml
View File

@ -156,30 +156,30 @@ host_username = { extends = "$text.0", padding.left = 8 }
tree_branch_width = 1
tree_branch_color = "$surface.2"
[contacts_panel.worktree]
[contacts_panel.project]
height = 24
padding = { left = 8 }
guest_avatar = { corner_radius = 8, width = 14 }
guest_avatar_spacing = 4
[contacts_panel.worktree.name]
[contacts_panel.project.name]
extends = "$text.1"
margin = { right = 6 }
[contacts_panel.unshared_worktree]
extends = "$contacts_panel.worktree"
[contacts_panel.unshared_project]
extends = "$contacts_panel.project"
[contacts_panel.hovered_unshared_worktree]
extends = "$contacts_panel.unshared_worktree"
[contacts_panel.hovered_unshared_project]
extends = "$contacts_panel.unshared_project"
background = "$state.hover"
corner_radius = 6
[contacts_panel.shared_worktree]
extends = "$contacts_panel.worktree"
[contacts_panel.shared_project]
extends = "$contacts_panel.project"
name.color = "$text.0.color"
[contacts_panel.hovered_shared_worktree]
extends = "$contacts_panel.shared_worktree"
[contacts_panel.hovered_shared_project]
extends = "$contacts_panel.shared_project"
background = "$state.hover"
corner_radius = 6