Unnamed repository; edit this file 'description' to name the repository.
improve jump colors for github_dark themes (#10946)
| -rw-r--r-- | runtime/themes/github_dark.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/themes/github_dark.toml b/runtime/themes/github_dark.toml index dafba559..e9803210 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" } |