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/pop-dark.toml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'runtime/themes/pop-dark.toml') diff --git a/runtime/themes/pop-dark.toml b/runtime/themes/pop-dark.toml index 6ad0111b..bd16f34b 100644 --- a/runtime/themes/pop-dark.toml +++ b/runtime/themes/pop-dark.toml @@ -8,7 +8,10 @@ info = { fg = 'yellowH', bg = 'brownD' } hint = { fg = 'brownD', bg = 'yellowH', modifiers = ['bold'] } warning = { fg = 'brownD', bg = 'orangeW', modifiers = ['bold'] } error = { fg = 'brownD', bg = 'redE', modifiers = ['bold'] } -diagnostic = { fg = 'greyT', bg = 'redD' } +"diagnostic.info".underline = { color = "yellowH", style = "curl" } +"diagnostic.hint".underline = { color = "yellowH", style = "curl" } +"diagnostic.warning".underline = { color = "orangeW", style = "curl" } +"diagnostic.error".underline = { color = "redE", style = "curl" } 'ui.background' = { bg = 'brownN' } 'ui.window' = { bg = 'brownH', fg = "brownD" } 'ui.gutter' = { bg = 'brownH' } -- cgit v1.2.3-70-g09d2