From 55fd897911de2810df85b0b8aa99ea9c9053fe58 Mon Sep 17 00:00:00 2001
From: Kamek <b.kamek@gmail.com>
Date: Mon, 8 Apr 2024 09:16:16 -0400
Subject: [PATCH] Varua theme jump label support

---
 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"