Unnamed repository; edit this file 'description' to name the repository.
Varua theme jump label support (#10299)
| -rw-r--r-- | runtime/themes/varua.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/themes/varua.toml b/runtime/themes/varua.toml index 1c6b5e86..33050350 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" |