chore: add "ui.virtual.jump-label" to gruber-darker theme (#11547)

pull/11499/head^2
Oren Mittman 2 months ago committed by GitHub
parent 5975e53600
commit e1cacd149c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -67,6 +67,7 @@
"ui.virtual.ruler" = { bg = "bg1" } "ui.virtual.ruler" = { bg = "bg1" }
"ui.virtual.inlay-hint" = { fg = "bg7" } "ui.virtual.inlay-hint" = { fg = "bg7" }
"ui.virtual.wrap" = { fg = "bg2" } "ui.virtual.wrap" = { fg = "bg2" }
"ui.virtual.jump-label" = { fg = "red3", modifiers = ["bold"] }
"diagnostic.warning" = { underline = { color = "orange1", style = "dashed" } } "diagnostic.warning" = { underline = { color = "orange1", style = "dashed" } }
"diagnostic.error" = { underline = { color = "red3", style = "dashed" } } "diagnostic.error" = { underline = { color = "red3", style = "dashed" } }

Loading…
Cancel
Save