changeset 5807:a8c68609e9a3

improve jump colors for github_dark themes (#10946)
author Meris Bahtijaragic <meris.bahti@gmail.com>
date Tue, 18 Jun 2024 10:39:56 +0200
parents 18ffdf98836c
children 059ddeae318e
files runtime/themes/github_dark.toml
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/runtime/themes/github_dark.toml	Tue Jun 18 10:38:56 2024 +0200
+++ b/runtime/themes/github_dark.toml	Tue Jun 18 10:39:56 2024 +0200
@@ -61,6 +61,7 @@
 "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" }