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/fleet_dark.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/fleet_dark.toml')
-rw-r--r-- | runtime/themes/fleet_dark.toml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/runtime/themes/fleet_dark.toml b/runtime/themes/fleet_dark.toml index f885e4eb..f3285a76 100644 --- a/runtime/themes/fleet_dark.toml +++ b/runtime/themes/fleet_dark.toml @@ -91,10 +91,10 @@ "warning" = "orange_accent" "error" = "red_error" "diagnostic" = { modifiers = [] } -"diagnostic.hint" = { underline = { color = "light", style = "line" } } -"diagnostic.info" = { underline = { color = "blue_accent", style = "line" } } -"diagnostic.warning" = { underline = { color = "yellow_accent", style = "line" } } -"diagnostic.error" = { underline = { color = "red_error", style = "line" } } +"diagnostic.hint" = { underline = { color = "light", style = "curl" } } +"diagnostic.info" = { underline = { color = "blue_accent", style = "curl" } } +"diagnostic.warning" = { underline = { color = "yellow_accent", style = "curl" } } +"diagnostic.error" = { underline = { color = "red_error", style = "curl" } } [palette] background = "#181818" |