From afe9049a0ece463b2acb06c0550c949cea138a46 Mon Sep 17 00:00:00 2001
From: Meris Bahtijaragic <meris.bahti@gmail.com>
Date: Tue, 18 Jun 2024 10:39:56 +0200
Subject: [PATCH] improve jump colors for github_dark themes (#10946)

---
 runtime/themes/github_dark.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/runtime/themes/github_dark.toml b/runtime/themes/github_dark.toml
index dafba559dbd3..e98032108e26 100644
--- a/runtime/themes/github_dark.toml
+++ b/runtime/themes/github_dark.toml
@@ -61,6 +61,7 @@ label = "scale.red.3"
 "ui.text.inactive" = "fg.subtle"
 "ui.virtual" = { fg = "scale.gray.6" }
 "ui.virtual.ruler" = { bg = "canvas.subtle" }
+"ui.virtual.jump-label" = { fg = "scale.red.2", modifiers = ["bold"] }
 
 "ui.selection" = { bg = "scale.blue.8" }
 "ui.selection.primary" = { bg = "scale.blue.7" }