From 09124e359eb2ab627c64102a7ca3207e52041edf 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 dafba559dbd3..e98032108e26 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 = "scale.red.2", modifiers = ["bold"] } "ui.selection" = { bg = "scale.blue.8" } "ui.selection.primary" = { bg = "scale.blue.7" }