From a296683553d08b614ac00838011f8ec43435350c Mon Sep 17 00:00:00 2001 From: Pawel Grzybek Date: Mon, 1 Apr 2024 17:45:55 +0100 Subject: [PATCH] Add jump-label styling for base16 themes (#10076) * add jump-label styling for base16_transparent theme * keep the change consistent with other themes from base16 family * update jump-labels color to blue and make them bold --- base16_theme.toml | 1 + runtime/themes/base16_default_dark.toml | 1 + runtime/themes/base16_default_light.toml | 1 + runtime/themes/base16_terminal.toml | 1 + runtime/themes/base16_transparent.toml | 1 + 5 files changed, 5 insertions(+) diff --git a/base16_theme.toml b/base16_theme.toml index 268a38df61bdb..49f09afed5cbd 100644 --- a/base16_theme.toml +++ b/base16_theme.toml @@ -28,6 +28,7 @@ "label" = "magenta" "namespace" = "magenta" "ui.help" = { fg = "white", bg = "black" } +"ui.virtual.jump-label" = { fg = "blue", modifiers = ["bold", "underlined"] } "markup.heading" = "blue" "markup.list" = "red" diff --git a/runtime/themes/base16_default_dark.toml b/runtime/themes/base16_default_dark.toml index 1a38a6aebcfe5..0e5f066ba9a45 100644 --- a/runtime/themes/base16_default_dark.toml +++ b/runtime/themes/base16_default_dark.toml @@ -2,6 +2,7 @@ "ui.background" = { bg = "base00" } "ui.virtual.whitespace" = "base03" +"ui.virtual.jump-label" = { fg = "blue", modifiers = ["bold", "underlined"] } "ui.menu" = { fg = "base05", bg = "base01" } "ui.menu.selected" = { fg = "base01", bg = "base04" } "ui.linenr" = { fg = "base03", bg = "base01" } diff --git a/runtime/themes/base16_default_light.toml b/runtime/themes/base16_default_light.toml index 84dab530564a7..e89a9d1be41ef 100644 --- a/runtime/themes/base16_default_light.toml +++ b/runtime/themes/base16_default_light.toml @@ -13,6 +13,7 @@ "ui.cursor" = { fg = "base04", modifiers = ["reversed"] } "ui.cursor.primary" = { fg = "base05", modifiers = ["reversed"] } "ui.virtual.whitespace" = "base03" +"ui.virtual.jump-label" = { fg = "blue", modifiers = ["bold", "underlined"] } "ui.text" = "base05" "operator" = "base05" "ui.text.focus" = "base05" diff --git a/runtime/themes/base16_terminal.toml b/runtime/themes/base16_terminal.toml index f397586118d53..6864c0eb42699 100644 --- a/runtime/themes/base16_terminal.toml +++ b/runtime/themes/base16_terminal.toml @@ -14,6 +14,7 @@ "ui.cursor" = { fg = "light-gray", modifiers = ["reversed"] } "ui.cursor.primary" = { fg = "light-gray", modifiers = ["reversed"] } "ui.virtual.whitespace" = "light-gray" +"ui.virtual.jump-label" = { fg = "blue", modifiers = ["bold", "underlined"] } "variable" = "light-red" "constant.numeric" = "yellow" "constant" = "yellow" diff --git a/runtime/themes/base16_transparent.toml b/runtime/themes/base16_transparent.toml index c314ae8c516e9..70452366f4c8a 100644 --- a/runtime/themes/base16_transparent.toml +++ b/runtime/themes/base16_transparent.toml @@ -31,6 +31,7 @@ "ui.virtual.inlay-hint.parameter" = { fg = "white", bg = "gray"} "ui.virtual.inlay-hint.type" = { fg = "white", bg = "gray"} "ui.virtual.wrap" = "gray" +"ui.virtual.jump-label" = { fg = "blue", modifiers = ["bold", "underlined"] } "variable" = "light-red" "constant.numeric" = "yellow"