From a2c5cfb402bc955416480c0a0d86e71640d3e6aa Mon Sep 17 00:00:00 2001 From: meris Date: Thu, 13 Jun 2024 19:45:47 +0200 Subject: [PATCH] improve jump colors for github_dark themes --- runtime/themes/github_dark.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/runtime/themes/github_dark.toml b/runtime/themes/github_dark.toml index dafba559dbd36..b01be6795af49 100644 --- a/runtime/themes/github_dark.toml +++ b/runtime/themes/github_dark.toml @@ -61,6 +61,7 @@ label = "scale.red.3" "ui.text.inactive" = "fg.subtle" "ui.virtual" = { fg = "scale.gray.6" } "ui.virtual.ruler" = { bg = "canvas.subtle" } +"ui.virtual.jump-label" = { fg = "t11", modifiers = ["bold"] } "ui.selection" = { bg = "scale.blue.8" } "ui.selection.primary" = { bg = "scale.blue.7" }