change cursor for copy selection (#2323)

pull/2329/head
Erasin 3 years ago committed by GitHub
parent 667cdf929f
commit 668b39d1df
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -70,11 +70,9 @@
"ui.background" = { bg = "white" } "ui.background" = { bg = "white" }
"ui.cursor" = { fg = "black", modifiers = ["reversed"] } "ui.cursor" = { fg = "white", bg = "black" }
"ui.cursor.primary" = { fg = "white", bg="black", modifiers = [] } "ui.cursor.primary" = { fg = "white", bg = "black" }
"ui.cursor.match" = { fg = "purple", modifiers = ["underlined", "bold"] } "ui.cursor.match" = { fg = "white", bg = "purple" }
"ui.cursor.select" = { bg = "purple" }
"ui.cursor.insert" = { bg = "white" }
"ui.highlight" = { bg = "light-white" } "ui.highlight" = { bg = "light-white" }
@ -85,7 +83,6 @@
"ui.virtual.ruler" = { bg = "light-white" } "ui.virtual.ruler" = { bg = "light-white" }
"ui.virtual.whitespace" = {fg = "light-white" } "ui.virtual.whitespace" = {fg = "light-white" }
"ui.linenr" = { fg = "linenr" } "ui.linenr" = { fg = "linenr" }
"ui.linenr.selected" = { fg = "black", modifiers = ["reversed"] } "ui.linenr.selected" = { fg = "black", modifiers = ["reversed"] }

Loading…
Cancel
Save