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/penumbra+.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/penumbra+.toml')
| -rw-r--r-- | runtime/themes/penumbra+.toml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/runtime/themes/penumbra+.toml b/runtime/themes/penumbra+.toml index 79059832..62db2f8a 100644 --- a/runtime/themes/penumbra+.toml +++ b/runtime/themes/penumbra+.toml @@ -43,7 +43,10 @@ info = "sky" warning = "yellow" error = "red" -diagnostic = { modifiers = ["underlined"] } +"diagnostic.hint".underline = { color = "sky-", style = "curl" } +"diagnostic.info".underline = { color = "sky", style = "curl" } +"diagnostic.warning".underline = { color = "yellow", style = "curl" } +"diagnostic.error".underline = { color = "red", style = "curl" } "ui.background" = { bg = "shade" } "ui.background.separator" = "sky" |