fix(theme): Replace non-palette color "magenta" with palette color "red" in monokai_pro_spectrum

pull/5609/head
LeoniePhiline 2 years ago committed by Michael Davis
parent 8e10c592b9
commit 338f207d4b

@ -65,7 +65,7 @@
"variable.parameter" = "#f59762" "variable.parameter" = "#f59762"
# error # error
"error" = { bg = "magenta", fg = "yellow" } "error" = { bg = "red", fg = "yellow" }
# annotations, decorators # annotations, decorators
"special" = "#f59762" "special" = "#f59762"
@ -88,7 +88,7 @@
# make diagnostic underlined, to distinguish with selection text. # make diagnostic underlined, to distinguish with selection text.
"diagnostic.warning" = { underline = { color = "orange", style = "curl" } } "diagnostic.warning" = { underline = { color = "orange", style = "curl" } }
"diagnostic.error" = { underline = { color = "magenta", style = "curl" } } # maybe should be red? "diagnostic.error" = { underline = { color = "red", style = "curl" } }
"diagnostic.info" = { underline = { color = "base8", style = "curl" } } "diagnostic.info" = { underline = { color = "base8", style = "curl" } }
"diagnostic.hint" = { underline = { color = "base8", style = "curl" } } "diagnostic.hint" = { underline = { color = "base8", style = "curl" } }

Loading…
Cancel
Save