From fa4516d44a09260e92dcfd2cbe44af4def715ec2 Mon Sep 17 00:00:00 2001
From: Slug <9619abgoni@gmail.com>
Date: Sat, 6 Apr 2024 16:49:14 +0900
Subject: [PATCH] Add jump-label style for dark high contrast (#10102)

---
 runtime/themes/dark_high_contrast.toml | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/runtime/themes/dark_high_contrast.toml b/runtime/themes/dark_high_contrast.toml
index 6da2389a601b..9e232845059a 100644
--- a/runtime/themes/dark_high_contrast.toml
+++ b/runtime/themes/dark_high_contrast.toml
@@ -3,11 +3,14 @@
 # Interface
 "ui.background" = { bg = "black" }
 "ui.window" = { fg = "aqua" }
-"special" = "orange" # file picker fuzzy match
+"special" = "orange"                           # file picker fuzzy match
 "ui.background.separator" = { fg = "white" }
 "ui.text" = "white"
 "ui.text.focus" = { modifiers = ["reversed"] } # file picker selected
 
+"ui.virtual.jump-label" = { fg = "deep_red", modifiers = [
+    "bold",
+], underline = { color = "deep_red", style = "line" } }
 "ui.virtual" = "gray"
 "ui.virtual.whitespace" = "gray"
 "ui.virtual.ruler" = { fg = "white", bg = "gray" }
@@ -56,14 +59,14 @@
 "diagnostic.error" = { underline = { color = "red", style = "curl" } }
 "diagnostic.unnecessary" = { modifiers = ["dim"] }
 "diagnostic.deprecated" = { modifiers = ["crossed_out"] }
-"info" = "white" 
+"info" = "white"
 "hint" = "yellow"
 "warning" = "orange"
 "error" = "red"
 "debug" = "red"
 
 "diff.plus" = "green"
-"diff.delta" ="blue"
+"diff.delta" = "blue"
 "diff.minus" = "pink"
 
 # Syntax high light
@@ -87,7 +90,9 @@
 "label" = "blue"
 
 # Markup 
-"markup.heading" = { fg = "yellow", modifiers = ["bold"], underline = { color = "yellow", style = "double_line"} }
+"markup.heading" = { fg = "yellow", modifiers = [
+    "bold",
+], underline = { color = "yellow", style = "double_line" } }
 "markup.list" = "pink"
 "markup.bold" = { fg = "emerald_green", modifiers = ["bold"] }
 "markup.italic" = { fg = "blue", modifiers = ["italic"] }
@@ -107,6 +112,7 @@ dark_blue = "#0d1a2d"
 aqua = "#6fc3df"
 purple = "#c586c0"
 red = "#b65f5f"
+deep_red = "#fd0004"
 pink = "#ff5c8d"
 orange = "#f38518"
 brown = "#ce9178"