diff options
| author | cor | 2022-12-09 03:48:56 +0000 |
|---|---|---|
| committer | GitHub | 2022-12-09 03:48:56 +0000 |
| commit | d91464208958b6f44b431d244e0f369d7907ba59 (patch) | |
| tree | d7b54b6a4bc31db4c7a7bdec2f877ac707ada837 | |
| parent | 36eff1da8cdc4efc9cec362311718fa6a4c75563 (diff) | |
use curl underlines for gruvbox_dark_hard (#5066)
| -rw-r--r-- | runtime/themes/gruvbox_dark_hard.toml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/runtime/themes/gruvbox_dark_hard.toml b/runtime/themes/gruvbox_dark_hard.toml index 708ca2b2..27d9ab9b 100644 --- a/runtime/themes/gruvbox_dark_hard.toml +++ b/runtime/themes/gruvbox_dark_hard.toml @@ -39,6 +39,12 @@ "info" = { fg = "aqua1", bg = "bg1" } "hint" = { fg = "blue1", bg = "bg1" } +"diagnostic" = { modifiers = ["underlined"] } +"diagnostic.error" = { underline = { style = "curl", color = "red0" } } +"diagnostic.warning" = { underline = { style = "curl", color = "orange1" } } +"diagnostic.info" = { underline = { style = "curl", color = "aqua1" } } +"diagnostic.hint" = { underline = { style = "curl", color = "blue1" } } + "ui.background" = { bg = "bg0" } "ui.linenr" = { fg = "bg4" } "ui.linenr.selected" = { fg = "yellow1" } @@ -61,8 +67,6 @@ "ui.virtual.whitespace" = "bg2" "ui.virtual.ruler" = { bg = "bg1" } -"diagnostic" = { modifiers = ["underlined"] } - "markup.heading" = "aqua1" "markup.bold" = { modifiers = ["bold"] } "markup.italic" = { modifiers = ["italic"] } |