From d103248cb847fca4f7b0b11691d4c7ff6582b588 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Denis=20Krienb=C3=BChl?= Date: Mon, 30 Sep 2024 04:06:33 +0200 Subject: [PATCH] Small bogster theme improvements (#11353) * Add a distinct jump-label to bogster theme * Make the primary label visible in the bogster theme --- runtime/themes/bogster.toml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/runtime/themes/bogster.toml b/runtime/themes/bogster.toml index f7d08daa9914..9d360e821dc1 100644 --- a/runtime/themes/bogster.toml +++ b/runtime/themes/bogster.toml @@ -59,8 +59,10 @@ "ui.text.focus" = { fg = "bogster-fg1", modifiers= ["bold"] } "ui.virtual.whitespace" = "bogster-base5" "ui.virtual.ruler" = { bg = "bogster-base0" } +"ui.virtual.jump-label" = { fg = "bogster-base0", bg = "bogster-yellow", modifiers = [ "bold" ] } -"ui.selection" = { bg = "bogster-base3" } +"ui.selection" = { bg = "bogster-base2" } +"ui.selection.primary" = { bg = "bogster-base3" } "ui.cursor.match" = { fg = "bogster-base3", bg = "bogster-orange" } "ui.cursor" = { fg = "bogster-base5", modifiers = ["reversed"] }