diff options
| author | blt__ | 2023-01-12 04:22:16 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-12 04:22:16 +0000 |
| commit | c988bd9629145b5a337498937a70af555bfa6159 (patch) | |
| tree | 4a9dbbfe64d27e8df8fda2dbbda6dc741ec7f542 /runtime/themes/gruvbox_light.toml | |
| parent | 4e9a0700db6df3c2be123c3c130ab7689135576a (diff) | |
Change built-in themes to use curly underlines (#5419)
* Change built-in themes to use curly underlines
* Change fleet_dark to use curly underlines
Diffstat (limited to 'runtime/themes/gruvbox_light.toml')
| -rw-r--r-- | runtime/themes/gruvbox_light.toml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/runtime/themes/gruvbox_light.toml b/runtime/themes/gruvbox_light.toml index d2245fe9..7c1c765d 100644 --- a/runtime/themes/gruvbox_light.toml +++ b/runtime/themes/gruvbox_light.toml @@ -21,7 +21,7 @@ "function.macro" = "aqua1" "function.builtin" = "yellow1" "tag" = "red1" -"comment" = { fg = "gray1", modifiers = ["italic"] } +"comment" = { fg = "gray1", modifiers = ["italic"] } "constant" = { fg = "purple1" } "constant.builtin" = { fg = "purple1", modifiers = ["bold"] } "string" = "green1" @@ -62,7 +62,10 @@ "ui.virtual.whitespace" = "bg2" "ui.virtual.ruler" = { bg = "bg1" } -"diagnostic" = { modifiers = ["underlined"] } +"diagnostic.warning" = { underline = { color = "orange1", style = "curl" } } +"diagnostic.error" = { underline = { color = "red1", style = "curl" } } +"diagnostic.info" = { underline = { color = "aqua1", style = "curl" } } +"diagnostic.hint" = { underline = { color = "blue1", style = "curl" } } "markup.heading" = "aqua1" "markup.bold" = { modifiers = ["bold"] } |