Style diagnostic header's border in light and dark theme

Co-Authored-By: Nathan Sobo <nathan@zed.dev>
This commit is contained in:
Antonio Scandurra 2022-01-26 17:08:24 +01:00
parent dedd5d63fb
commit 0263ea289c
4 changed files with 4 additions and 1 deletions

View file

@ -258,7 +258,7 @@ path = { extends = "$text.2", size = 14, margin.left = 12 }
text_scale_factor = 0.857
[editor.diagnostic_header]
border = { width = 1, top = true, bottom = true, color = "#ffffff1c" }
border = { width = 1, top = true, bottom = true, color = "$border.1" }
code = { extends = "$text.2", size = 14, margin.left = 10 }
icon_width_factor = 1.5
text_scale_factor = 0.857

View file

@ -7,6 +7,7 @@ extends = "_base"
[border]
0 = "#000000B2"
1 = "#FFFFFF16"
[text]
0 = { extends = "$text.base", color = "#ffffff" }

View file

@ -7,6 +7,7 @@ extends = "_base"
[border]
0 = "#1B222B"
1 = "#FFFFFF16"
[text]
0 = { extends = "$text.base", color = "#FFFFFF" }

View file

@ -7,6 +7,7 @@ extends = "_base"
[border]
0 = "#DDDDDC"
1 = "#0000000F"
[text]
0 = { extends = "$text.base", color = "#000000" }