diff options
| author | LeoniePhiline | 2023-01-19 22:12:37 +0000 |
|---|---|---|
| committer | Michael Davis | 2023-01-20 15:56:45 +0000 |
| commit | 338f207d4bb4b25dfcf746a9f207dfac9a5025bd (patch) | |
| tree | c8ae30300f0b567d208814f47f60fe59a152c64a /runtime | |
| parent | 8e10c592b90383a90b7e4a9335d323f8fab99ab5 (diff) | |
fix(theme): Replace non-palette color "magenta" with palette color "red" in monokai_pro_spectrum
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/themes/monokai_pro_spectrum.toml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/themes/monokai_pro_spectrum.toml b/runtime/themes/monokai_pro_spectrum.toml index 451f7986..1dc6de46 100644 --- a/runtime/themes/monokai_pro_spectrum.toml +++ b/runtime/themes/monokai_pro_spectrum.toml @@ -65,7 +65,7 @@ "variable.parameter" = "#f59762" # error -"error" = { bg = "magenta", fg = "yellow" } +"error" = { bg = "red", fg = "yellow" } # annotations, decorators "special" = "#f59762" @@ -88,7 +88,7 @@ # make diagnostic underlined, to distinguish with selection text. "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.hint" = { underline = { color = "base8", style = "curl" } } |