Fixed disorienting selection palette on Gruvbox theme (#4626)

Co-authored-by: ryan.palmer <ryan.palmer@servicenow.com>
pull/3953/merge
Ryan Palmer 2 years ago committed by GitHub
parent eddf9f0b7f
commit da8f29eaa7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -52,9 +52,9 @@
"ui.help" = { bg = "bg1", fg = "fg1" } "ui.help" = { bg = "bg1", fg = "fg1" }
"ui.text" = { fg = "fg1" } "ui.text" = { fg = "fg1" }
"ui.text.focus" = { fg = "fg1" } "ui.text.focus" = { fg = "fg1" }
"ui.selection" = { bg = "bg3", modifiers = ["reversed"] } "ui.selection" = { bg = "bg2" }
"ui.cursor.primary" = { modifiers = ["reversed"] } "ui.cursor.primary" = { bg = "fg4", fg = "bg1" }
"ui.cursor.match" = { bg = "bg2" } "ui.cursor.match" = { bg = "bg3" }
"ui.menu" = { fg = "fg1", bg = "bg2" } "ui.menu" = { fg = "fg1", bg = "bg2" }
"ui.menu.selected" = { fg = "bg2", bg = "blue1", modifiers = ["bold"] } "ui.menu.selected" = { fg = "bg2", bg = "blue1", modifiers = ["bold"] }
"ui.virtual.whitespace" = "bg2" "ui.virtual.whitespace" = "bg2"

Loading…
Cancel
Save