Varua theme jump label support (#10299)

2024-04-08 13:53:10 +00:00 · 2024-04-08 13:53:10 +00:00 · d180395461
parent 1e7c01d75b
commit d180395461
1 changed files with 1 additions and 0 deletions
--- 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"