Small bogster theme improvements (#11353)

* Add a distinct jump-label to bogster theme

* Make the primary label visible in the bogster theme
This commit is contained in:
Denis Krienbühl 2024-09-30 04:06:33 +02:00 committed by GitHub
parent 42453786a0
commit d103248cb8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -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"] }