From 54fab657be758d891bc5ea623db177f785572426 Mon Sep 17 00:00:00 2001 From: ves <28784043+vesdev@users.noreply.github.com> Date: Sun, 24 Mar 2024 04:42:01 +0200 Subject: [PATCH] Add jump label color to horizon-dark theme (#9984) --- runtime/themes/horizon-dark.toml | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/runtime/themes/horizon-dark.toml b/runtime/themes/horizon-dark.toml index 2ab10e911..b879b432c 100644 --- a/runtime/themes/horizon-dark.toml +++ b/runtime/themes/horizon-dark.toml @@ -27,8 +27,8 @@ namespace = "orange" "ui.gutter" = "gray" "ui.gutter.selected" = "light-gray" "ui.selection" = { bg = "selection" } -"ui.virtual.indent-guide" = { fg = "gray"} -"ui.virtual.whitespace" = { fg = "light-gray"} +"ui.virtual.indent-guide" = { fg = "gray" } +"ui.virtual.whitespace" = { fg = "light-gray" } "ui.statusline" = { bg = "dark-bg", fg = "light-gray" } "ui.popup" = { bg = "dark-bg", fg = "orange" } "ui.help" = { bg = "dark-bg", fg = "orange" } @@ -37,13 +37,14 @@ namespace = "orange" "ui.window" = "selection" "ui.bufferline" = { bg = "dark-bg", fg = "light-gray" } "ui.bufferline.active" = { bg = "dark-bg", fg = "orange" } +"ui.virtual.jump-label" = { fg = "pink", modifiers = ["bold"] } # Diagnostics "diagnostic" = { underline = { style = "curl" } } "diagnostic.hint" = { underline = { color = "green", style = "curl" } } "diagnostic.info" = { underline = { color = "blue", style = "curl" } } -"diagnostics.error" = { underline = { color = "red", style = "curl"} } -"diagnostics.warning" = { underline = { color = "orange", style = "curl"} } +"diagnostics.error" = { underline = { color = "red", style = "curl" } } +"diagnostics.warning" = { underline = { color = "orange", style = "curl" } } warning = { fg = "orange", modifiers = ["bold"] } error = { fg = "red", modifiers = ["bold"] } @@ -62,7 +63,7 @@ hint = { fg = "green", modifiers = ["bold"] } "markup.quote" = "orange" "markup.raw" = "orange" -"diff.plus" = "green" +"diff.plus" = "green" "diff.minus" = "red" "diff.delta" = "orange"