Closed UltraInstinct05 closed 3 years ago
Made a commit that adds block_caret_corner_radius
and also fixed an issue where block_caret
itself wasn't being highlighted.
I had previously placed all the block_caret_
settings in the first match of globals-mapping-key
context, hence block_caret_corner_radius
and block_caret_corner_style
wrongly supported color variables in them. I made a commit that rectifies this.
Thanks!
This PR
block_caret_
global settings introduced in 4086.Here is a brief summary of them.
block_caret_corner_style
: Controls the corner style of block carets. Valid values arecut
,round
&square
.block_caret_border
: Controls the color of the block caret's border.block_caret_underline
: Controls the color of the block caret inside a selection. The color of the block caret inside a selection will fallback to the color of thecaret
global ifblock_caret_underline
is not defined.block_caret_corner_radius
: Controls the corner radius of block caret. This value lies in the range[0, 10]