diff options
| author | Lukas Wirth <lukastw97@gmail.com> | 2020-11-04 14:50:44 +0100 |
|---|---|---|
| committer | Lukas Wirth <lukastw97@gmail.com> | 2020-11-04 15:04:28 +0100 |
| commit | be00b6b8fa03f9b578ca5f736e745d4d99ffd649 (patch) | |
| tree | e1b83482d2d6eb50aaad6a5b16c13abed448f180 /editors/code/src | |
| parent | db5c52978151412f43a4d98c1b30ba091c533c39 (diff) | |
| download | rust-be00b6b8fa03f9b578ca5f736e745d4d99ffd649.tar.gz rust-be00b6b8fa03f9b578ca5f736e745d4d99ffd649.zip | |
Support multiple workspace edits
Diffstat (limited to 'editors/code/src')
| -rw-r--r-- | editors/code/src/snippets.ts | 23 |
1 files changed, 18 insertions, 5 deletions
diff --git a/editors/code/src/snippets.ts b/editors/code/src/snippets.ts index 258b49982ef..fee736e7d90 100644 --- a/editors/code/src/snippets.ts +++ b/editors/code/src/snippets.ts @@ -3,16 +3,29 @@ import * as vscode from 'vscode'; import { assert } from './util'; export async function applySnippetWorkspaceEdit(edit: vscode.WorkspaceEdit) { - assert(edit.entries().length === 1, `bad ws edit: ${JSON.stringify(edit)}`); - const [uri, edits] = edit.entries()[0]; + if (edit.entries().length === 1) { + const [uri, edits] = edit.entries()[0]; + const editor = await editorFromUri(uri); + if (editor) await applySnippetTextEdits(editor, edits); + return; + } + for (const [uri, edits] of edit.entries()) { + const editor = await editorFromUri(uri); + if (editor) await editor.edit((builder) => { + for (const indel of edits) { + assert(!parseSnippet(indel.newText), `bad ws edit: snippet received with multiple edits: ${JSON.stringify(edit)}`); + builder.replace(indel.range, indel.newText); + } + }); + } +} +async function editorFromUri(uri: vscode.Uri): Promise<vscode.TextEditor | undefined> { if (vscode.window.activeTextEditor?.document.uri !== uri) { // `vscode.window.visibleTextEditors` only contains editors whose contents are being displayed await vscode.window.showTextDocument(uri, {}); } - const editor = vscode.window.visibleTextEditors.find((it) => it.document.uri.toString() === uri.toString()); - if (!editor) return; - await applySnippetTextEdits(editor, edits); + return vscode.window.visibleTextEditors.find((it) => it.document.uri.toString() === uri.toString()); } export async function applySnippetTextEdits(editor: vscode.TextEditor, edits: vscode.TextEdit[]) { |
