mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-29 12:38:02 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

Add padding to toolbar

Browse source
This commit is contained in:
Antonio Scandurra 2022-03-29 12:17:37 +02:00
parent a86118cfe2
commit 42a7e573bc
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -89,6 +89,8 @@ background = "$surface.1"
border = { color = "$border.0", width = 1, left = false, right = false, bottom = true, top = false }
height = 44
item_spacing = 8
padding.left = 8
padding.right = 8
[panel]
padding = { top = 12, left = 12, bottom = 12, right = 12 }