diff options
| author | RoloEdits | 2024-03-26 19:48:08 +0000 |
|---|---|---|
| committer | GitHub | 2024-03-26 19:48:08 +0000 |
| commit | a6c6fa4c8ea3db3520f64de88c55729980720928 (patch) | |
| tree | c6b53a72fbf2d8c5bbd2e1f9b103793c19546103 | |
| parent | cef839e47779026322c072a10298217742d27166 (diff) | |
feat(themes): add `jump-label` for gruvbox themes (#10012)
| -rw-r--r-- | runtime/themes/gruvbox.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/themes/gruvbox.toml b/runtime/themes/gruvbox.toml index e3eef185..3c1dfc59 100644 --- a/runtime/themes/gruvbox.toml +++ b/runtime/themes/gruvbox.toml @@ -65,6 +65,7 @@ "ui.virtual.ruler" = { bg = "bg1" } "ui.virtual.inlay-hint" = { fg = "gray1" } "ui.virtual.wrap" = { fg = "bg2" } +"ui.virtual.jump-label" = { fg = "purple0", modifiers = ["bold"] } "diagnostic.warning" = { underline = { color = "orange1", style = "curl" } } "diagnostic.error" = { underline = { color = "red1", style = "curl" } } |