feat(themes): add `jump-label` for gruvbox themes (#10012)

pull/10022/head
RoloEdits 3 months ago committed by GitHub
parent cef839e477
commit a6c6fa4c8e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

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

Loading…
Cancel
Save