From 0263ea289c0650dc328f7fa38e01e8929de3c5c8 Mon Sep 17 00:00:00 2001
From: Antonio Scandurra <me@as-cii.com>
Date: Wed, 26 Jan 2022 17:08:24 +0100
Subject: [PATCH] Style diagnostic header's border in light and dark theme

Co-Authored-By: Nathan Sobo <nathan@zed.dev>
---
 crates/zed/assets/themes/_base.toml | 2 +-
 crates/zed/assets/themes/black.toml | 1 +
 crates/zed/assets/themes/dark.toml  | 1 +
 crates/zed/assets/themes/light.toml | 1 +
 4 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/crates/zed/assets/themes/_base.toml b/crates/zed/assets/themes/_base.toml
index 3e3f15919e..7f343ba1ac 100644
--- a/crates/zed/assets/themes/_base.toml
+++ b/crates/zed/assets/themes/_base.toml
@@ -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
diff --git a/crates/zed/assets/themes/black.toml b/crates/zed/assets/themes/black.toml
index 972ef37132..47fce47b06 100644
--- a/crates/zed/assets/themes/black.toml
+++ b/crates/zed/assets/themes/black.toml
@@ -7,6 +7,7 @@ extends = "_base"
 
 [border]
 0 = "#000000B2"
+1 = "#FFFFFF16"
 
 [text]
 0 = { extends = "$text.base", color = "#ffffff" }
diff --git a/crates/zed/assets/themes/dark.toml b/crates/zed/assets/themes/dark.toml
index 9d65a160eb..bd6e473a7a 100644
--- a/crates/zed/assets/themes/dark.toml
+++ b/crates/zed/assets/themes/dark.toml
@@ -7,6 +7,7 @@ extends = "_base"
 
 [border]
 0 = "#1B222B"
+1 = "#FFFFFF16"
 
 [text]
 0 = { extends = "$text.base", color = "#FFFFFF" }
diff --git a/crates/zed/assets/themes/light.toml b/crates/zed/assets/themes/light.toml
index 18134501ec..3113a69110 100644
--- a/crates/zed/assets/themes/light.toml
+++ b/crates/zed/assets/themes/light.toml
@@ -7,6 +7,7 @@ extends = "_base"
 
 [border]
 0 = "#DDDDDC"
+1 = "#0000000F"
 
 [text]
 0 = { extends = "$text.base", color = "#000000" }