diff options
Diffstat (limited to 'runtime/themes/monokai_pro_machine.toml')
| -rw-r--r-- | runtime/themes/monokai_pro_machine.toml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/runtime/themes/monokai_pro_machine.toml b/runtime/themes/monokai_pro_machine.toml index 4360d622..ae391f3d 100644 --- a/runtime/themes/monokai_pro_machine.toml +++ b/runtime/themes/monokai_pro_machine.toml @@ -87,7 +87,10 @@ "diff.minus" = "red" # make diagnostic underlined, to distinguish with selection text. -diagnostic = { modifiers = ["underlined"] } +"diagnostic.warning" = { underline = { color = "orange", style = "curl" } } +"diagnostic.error" = { underline = { color = "red", style = "curl" } } +"diagnostic.info" = { underline = { color = "base8", style = "curl" } } +"diagnostic.hint" = { underline = { color = "base8", style = "curl" } } # markup highlight, no need for `markup.raw` and `markup.list`, make them to be default "markup.heading" = "green" |