chore(theme): fix "ui.selection" for rose_pine themes (#1716)
commitf9ad1cafdc4d91fe4378e4213a1b18389f0bd33b
authorchunghha <chunghha@users.noreply.github.com>
dateMon 28 Feb 2022, 02:56 (5 years ago)
parent39f7ba3
runtime/themes/rose_pine.toml+1−1
@@ -6,7 +6,7 @@
66"ui.menu.selected" = { fg = "iris", bg = "surface" }
77"ui.linenr" = {fg = "subtle" }
88"ui.liner.selected" = "highlightOverlay"
9−"ui.selection" = "highlight"
9+"ui.selection" = { bg = "highlight" }
1010"comment" = "subtle"
1111"ui.statusline" = {fg = "foam", bg = "surface" }
1212"ui.statusline.inactive" = { fg = "iris", bg = "surface" }
runtime/themes/rose_pine_dawn.toml+1−1
@@ -6,7 +6,7 @@
66"ui.menu.selected" = { fg = "iris", bg = "surface" }
77"ui.linenr" = {fg = "subtle" }
88"ui.liner.selected" = "highlightOverlay"
9−"ui.selection" = "highlight"
9+"ui.selection" = { bg = "highlight" }
1010"comment" = "subtle"
1111"ui.statusline" = {fg = "foam", bg = "surface" }
1212"ui.statusline.inactive" = { fg = "iris", bg = "surface" }