diff options
| author | cor | 2022-12-23 14:03:54 +0000 |
|---|---|---|
| committer | GitHub | 2022-12-23 14:03:54 +0000 |
| commit | b1ca7ddf89c048a8da0d6cfe507ac3344e6f625f (patch) | |
| tree | e1a52f9842c6ddb244b550691f635f5c7821ef24 | |
| parent | df1830ef28a7cb49abe31a18e4bd1bcfc7eb802a (diff) | |
Use curl underlines in the rose_pine theme (#5267)
Also fixes the color "gold" being used for too many kinds of diagnostics, now there's a more conventional choice of diagnostics colors (redish = error, yellowish = warning, blueish = hint).
| -rw-r--r-- | runtime/themes/rose_pine.toml | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/runtime/themes/rose_pine.toml b/runtime/themes/rose_pine.toml index 14e240dd..8558db3a 100644 --- a/runtime/themes/rose_pine.toml +++ b/runtime/themes/rose_pine.toml @@ -1,5 +1,6 @@ # Author: RayGervais<raygervais@hotmail.ca> # Author: ChrisHa<chunghha@users.noreply.github.com> +# Diagnostics patch author: cor<cor@pruijs.dev> "ui.background" = { bg = "base" } "ui.menu" = { fg = "text", bg = "overlay" } @@ -45,12 +46,18 @@ "diff.delta" = "rose" "diff.minus" = "love" -"info" = "gold" -"hint" = "gold" +"info" = "foam" +"hint" = "iris" "debug" = "rose" -"diagnostic" = "rose" +"warning" = "gold" "error" = "love" +"diagnostic" = { modifiers = ["underlined"] } +"diagnostic.error" = { underline = { style = "curl", color = "love" } } +"diagnostic.warning" = { underline = { style = "curl", color = "gold" } } +"diagnostic.info" = { underline = { style = "curl", color = "foam" } } +"diagnostic.hint" = { underline = { style = "curl", color = "iris" } } + "markup.heading.marker" = "subtle" "markup.heading.1" = { fg = "love", modifiers = ["bold"] } "markup.heading.2" = { fg = "gold", modifiers = ["bold"] } |