From c988bd9629145b5a337498937a70af555bfa6159 Mon Sep 17 00:00:00 2001 From: blt__ Date: Thu, 12 Jan 2023 08:22:16 +0400 Subject: Change built-in themes to use curly underlines (#5419) * Change built-in themes to use curly underlines * Change fleet_dark to use curly underlines--- runtime/themes/monokai_pro.toml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'runtime/themes/monokai_pro.toml') diff --git a/runtime/themes/monokai_pro.toml b/runtime/themes/monokai_pro.toml index a5cbfdcf..276f1f94 100644 --- a/runtime/themes/monokai_pro.toml +++ b/runtime/themes/monokai_pro.toml @@ -90,7 +90,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" -- cgit v1.2.3-70-g09d2