on master help sign in
fix(theme): Replace non-palette color "magenta" with palette color "red" in monokai_pro_spectrum
commit338f207d4bb4b25dfcf746a9f207dfac9a5025bd authorLeoniePhiline <22329650+LeoniePhiline@users.noreply.github.com> dateThu 19 Jan 2023, 23:12 (4 years ago) parent8e10c59
1 file changed+2−2
runtime/themes/monokai_pro_spectrum.toml+2−2
runtime/themes/monokai_pro_spectrum.toml+2−2
@@ -65,7 +65,7 @@
6565"variable.parameter" = "#f59762"
6666
6767# error
68−"error" = { bg = "magenta", fg = "yellow" }
68+"error" = { bg = "red", fg = "yellow" }
6969
7070# annotations, decorators
7171"special" = "#f59762"
@@ -88,7 +88,7 @@
8888
8989# make diagnostic underlined, to distinguish with selection text.
9090"diagnostic.warning" = { underline = { color = "orange", style = "curl" } }
91−"diagnostic.error" = { underline = { color = "magenta", style = "curl" } } # maybe should be red?
91+"diagnostic.error" = { underline = { color = "red", style = "curl" } }
9292"diagnostic.info" = { underline = { color = "base8", style = "curl" } }
9393"diagnostic.hint" = { underline = { color = "base8", style = "curl" } }
9494