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

Remove top/bottom padding from project panel

Browse source 
Co-Authored-By: Max Brunsfeld <maxbrunsfeld@gmail.com>
This commit is contained in:
Nathan Sobo 2021-09-28 12:26:26 -06:00
parent 14bc2c6857
commit dde782a006
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -162,6 +162,8 @@ corner_radius = 6
[project_panel]
extends = "$panel"
entry = "$text.0"
padding.left = "$panel.padding"
padding.right = "$panel.padding"
[selector]
background = "$surface.0"