Fix diagnostic indicator background for gruvbox themes (#5540)

The diagnostic indicator background did not match the column or rows background
colour as this was context specific, and the background for the indicator was
being explicitly set.

This commit removes the explicit value for the indicators background allowing
it to adapt to the context. This is aligns it with other themes, and resolves
the issue.
pull/5568/head
Josh Bainbridge 2 years ago committed by GitHub
parent e7e47fd542
commit b65f104a3f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -33,10 +33,10 @@
"diff.delta" = "orange1" "diff.delta" = "orange1"
"diff.minus" = "red1" "diff.minus" = "red1"
"warning" = { fg = "orange1", bg = "bg1" } "warning" = "orange1"
"error" = { fg = "red1", bg = "bg1" } "error" = "red1"
"info" = { fg = "aqua1", bg = "bg1" } "info" = "aqua1"
"hint" = { fg = "blue1", bg = "bg1" } "hint" = "blue1"
"ui.background" = { bg = "bg0" } "ui.background" = { bg = "bg0" }
"ui.linenr" = { fg = "bg4" } "ui.linenr" = { fg = "bg4" }

@ -34,10 +34,10 @@
"diff.delta" = "orange1" "diff.delta" = "orange1"
"diff.minus" = "red1" "diff.minus" = "red1"
"warning" = { fg = "orange1", bg = "bg1" } "warning" = "orange1"
"error" = { fg = "red1", bg = "bg1" } "error" = "red1"
"info" = { fg = "aqua1", bg = "bg1" } "info" = "aqua1"
"hint" = { fg = "blue1", bg = "bg1" } "hint" = "blue1"
"diagnostic.error" = { underline = { style = "curl", color = "red0" } } "diagnostic.error" = { underline = { style = "curl", color = "red0" } }
"diagnostic.warning" = { underline = { style = "curl", color = "orange1" } } "diagnostic.warning" = { underline = { style = "curl", color = "orange1" } }

@ -34,10 +34,10 @@
"diff.delta" = "orange1" "diff.delta" = "orange1"
"diff.minus" = "red1" "diff.minus" = "red1"
"warning" = { fg = "orange1", bg = "bg1" } "warning" = "orange1"
"error" = { fg = "red1", bg = "bg1" } "error" = "red1"
"info" = { fg = "aqua1", bg = "bg1" } "info" = "aqua1"
"hint" = { fg = "blue1", bg = "bg1" } "hint" = "blue1"
"ui.background" = { bg = "bg0" } "ui.background" = { bg = "bg0" }
"ui.linenr" = { fg = "bg4" } "ui.linenr" = { fg = "bg4" }

Loading…
Cancel
Save