Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'runtime/themes/monokai_pro.toml')
| -rw-r--r-- | runtime/themes/monokai_pro.toml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtime/themes/monokai_pro.toml b/runtime/themes/monokai_pro.toml index 65a95a7d..97f2a57c 100644 --- a/runtime/themes/monokai_pro.toml +++ b/runtime/themes/monokai_pro.toml @@ -100,6 +100,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" |