From a7b0485d65931ca72db0094b89fb281e4214d384 Mon Sep 17 00:00:00 2001
From: Bertrand Bousquet <b.kamek@gmail.com>
Date: Mon, 8 Apr 2024 13:53:10 +0000
Subject: [PATCH] Varua theme jump label support (#10299)

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

diff --git a/runtime/themes/varua.toml b/runtime/themes/varua.toml
index 1c6b5e863289..330503506047 100644
--- a/runtime/themes/varua.toml
+++ b/runtime/themes/varua.toml
@@ -78,6 +78,7 @@
 "diagnostic.error" = { underline = { style = "curl", color = "red" } }
 "diagnostic.unnecessary" = { modifiers = ["dim"] }
 "diagnostic.deprecated" = { modifiers = ["crossed_out"] }
+"ui.virtual.jump-label" = { fg = "red", modifiers = ["bold"] }
 
 [palette]
 bg0 = "#282828"