SetSelections doesn't change the caret position, it is instead adding additional caret(s) on top of the current one

[luislhg]

When using textview.AsEditable.SetSelections it is adding a new caret selection on top of the current one the editor has.

Repro
The extension command is going to set the caret selection to 5, you can notice the fifth character appears as a blue caret, while the old caret position is still kept (and respected) as the red caret.

Bug.SetSelections.mp4

Code

await Extensibility.Editor().EditAsync(
batch =>
{
    var caret5 = new TextPosition(textView.Document, 5);
    textView.AsEditable(batch).SetSelections([new Selection(activePosition: caret5, anchorPosition: caret5, insertionPosition: caret5)]);
},
cancellationToken);