on master help sign in
use curl underlines for gruvbox_dark_hard (#5066)
commitd91464208958b6f44b431d244e0f369d7907ba59 authorcor <cor@pruijs.dev> dateFri 9 Dec 2022, 04:48 (4 years ago) parent36eff1d
1 file changed+6−2
runtime/themes/gruvbox_dark_hard.toml+6−2
runtime/themes/gruvbox_dark_hard.toml+6−2
@@ -39,6 +39,12 @@
3939"info" = { fg = "aqua1", bg = "bg1" }
4040"hint" = { fg = "blue1", bg = "bg1" }
4141
42+"diagnostic" = { modifiers = ["underlined"] }
43+"diagnostic.error" = { underline = { style = "curl", color = "red0" } }
44+"diagnostic.warning" = { underline = { style = "curl", color = "orange1" } }
45+"diagnostic.info" = { underline = { style = "curl", color = "aqua1" } }
46+"diagnostic.hint" = { underline = { style = "curl", color = "blue1" } }
47+
4248"ui.background" = { bg = "bg0" }
4349"ui.linenr" = { fg = "bg4" }
4450"ui.linenr.selected" = { fg = "yellow1" }
@@ -61,8 +67,6 @@
6167"ui.virtual.whitespace" = "bg2"
6268"ui.virtual.ruler" = { bg = "bg1" }
6369
64−"diagnostic" = { modifiers = ["underlined"] }
65−
6670"markup.heading" = "aqua1"
6771"markup.bold" = { modifiers = ["bold"] }
6872"markup.italic" = { modifiers = ["italic"] }