Как я могу обновить выбор после редактирования?

Question

Я создаю TextEditorCommand и мне нужно обновить выбор после редактирования:

var sel = editor.selection;
let text = editor.document.getText(sel);
edit.insert(sel.active, text);
sel.anchor = sel.active;

запись в anchor (или любое другое свойство выбора):

TypeError: Невозможно установить привязку свойства #, которая имеет только геттер

Как мне обновить выбор редактора и где я могу найти его документацию?

Answer 1

Я думаю, что выбор может быть обновлен только после , когда редактирование действительно завершено, так что это будет правильный подход:

editor.edit(edit => {
    edit.insert(sel.active, text);
}).then(() => {
    try {
        editor.selection = new vscode.Selection(sel.active, editor.selection.active);
    } catch (err) {
        console.log(err)
    }
})