Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'runtime/themes/monokai_pro_machine.toml')
| -rw-r--r-- | runtime/themes/monokai_pro_machine.toml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtime/themes/monokai_pro_machine.toml b/runtime/themes/monokai_pro_machine.toml index 739418ce..e1f74b1c 100644 --- a/runtime/themes/monokai_pro_machine.toml +++ b/runtime/themes/monokai_pro_machine.toml @@ -97,6 +97,8 @@ "diagnostic.error" = { underline = { color = "red", style = "curl" } } "diagnostic.info" = { underline = { color = "base8", style = "curl" } } "diagnostic.hint" = { underline = { color = "base8", style = "curl" } } +"diagnostic.unnecessary" = { modifiers = ["dim"] } +"diagnostic.deprecated" = { modifiers = ["crossed_out"] } # markup highlight, no need for `markup.raw` and `markup.list`, make them to be default "markup.heading" = "green" |