2022-05-17 12:15:06 -05:00
|
|
|
import * as vscode from "vscode";
|
2020-05-25 03:59:54 -05:00
|
|
|
|
2022-05-17 12:15:06 -05:00
|
|
|
import { assert } from "./util";
|
2023-06-27 14:03:53 -05:00
|
|
|
import { unwrapUndefinable } from "./undefinable";
|
2020-05-25 03:59:54 -05:00
|
|
|
|
|
|
|
export async function applySnippetWorkspaceEdit(edit: vscode.WorkspaceEdit) {
|
2020-11-04 07:50:44 -06:00
|
|
|
if (edit.entries().length === 1) {
|
2023-06-27 14:03:53 -05:00
|
|
|
const [uri, edits] = unwrapUndefinable(edit.entries()[0]);
|
2020-11-04 07:50:44 -06:00
|
|
|
const editor = await editorFromUri(uri);
|
|
|
|
if (editor) await applySnippetTextEdits(editor, edits);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
for (const [uri, edits] of edit.entries()) {
|
|
|
|
const editor = await editorFromUri(uri);
|
2022-05-17 12:31:51 -05:00
|
|
|
if (editor) {
|
2022-05-17 12:15:06 -05:00
|
|
|
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);
|
|
|
|
}
|
|
|
|
});
|
2022-05-17 12:31:51 -05:00
|
|
|
}
|
2020-11-04 07:50:44 -06:00
|
|
|
}
|
|
|
|
}
|
2020-05-25 03:59:54 -05:00
|
|
|
|
2020-11-04 07:50:44 -06:00
|
|
|
async function editorFromUri(uri: vscode.Uri): Promise<vscode.TextEditor | undefined> {
|
2020-07-21 12:47:27 -05:00
|
|
|
if (vscode.window.activeTextEditor?.document.uri !== uri) {
|
|
|
|
// `vscode.window.visibleTextEditors` only contains editors whose contents are being displayed
|
|
|
|
await vscode.window.showTextDocument(uri, {});
|
|
|
|
}
|
2022-05-17 12:15:06 -05:00
|
|
|
return vscode.window.visibleTextEditors.find(
|
|
|
|
(it) => it.document.uri.toString() === uri.toString()
|
|
|
|
);
|
2020-05-25 07:12:53 -05:00
|
|
|
}
|
2020-05-25 03:59:54 -05:00
|
|
|
|
2020-05-25 07:12:53 -05:00
|
|
|
export async function applySnippetTextEdits(editor: vscode.TextEditor, edits: vscode.TextEdit[]) {
|
2021-03-27 13:02:08 -05:00
|
|
|
const selections: vscode.Selection[] = [];
|
2020-05-25 03:59:54 -05:00
|
|
|
let lineDelta = 0;
|
|
|
|
await editor.edit((builder) => {
|
|
|
|
for (const indel of edits) {
|
|
|
|
const parsed = parseSnippet(indel.newText);
|
|
|
|
if (parsed) {
|
|
|
|
const [newText, [placeholderStart, placeholderLength]] = parsed;
|
|
|
|
const prefix = newText.substr(0, placeholderStart);
|
2022-05-17 12:15:06 -05:00
|
|
|
const lastNewline = prefix.lastIndexOf("\n");
|
2020-05-25 03:59:54 -05:00
|
|
|
|
|
|
|
const startLine = indel.range.start.line + lineDelta + countLines(prefix);
|
2022-05-17 12:15:06 -05:00
|
|
|
const startColumn =
|
|
|
|
lastNewline === -1
|
|
|
|
? indel.range.start.character + placeholderStart
|
|
|
|
: prefix.length - lastNewline - 1;
|
2020-05-25 03:59:54 -05:00
|
|
|
const endColumn = startColumn + placeholderLength;
|
2022-05-17 12:15:06 -05:00
|
|
|
selections.push(
|
|
|
|
new vscode.Selection(
|
|
|
|
new vscode.Position(startLine, startColumn),
|
|
|
|
new vscode.Position(startLine, endColumn)
|
|
|
|
)
|
|
|
|
);
|
2020-05-25 03:59:54 -05:00
|
|
|
builder.replace(indel.range, newText);
|
|
|
|
} else {
|
|
|
|
builder.replace(indel.range, indel.newText);
|
|
|
|
}
|
2022-05-17 12:15:06 -05:00
|
|
|
lineDelta +=
|
|
|
|
countLines(indel.newText) - (indel.range.end.line - indel.range.start.line);
|
2020-05-25 03:59:54 -05:00
|
|
|
}
|
|
|
|
});
|
2021-03-27 12:50:55 -05:00
|
|
|
if (selections.length > 0) editor.selections = selections;
|
2021-05-23 15:32:24 -05:00
|
|
|
if (selections.length === 1) {
|
2023-06-27 14:03:53 -05:00
|
|
|
const selection = unwrapUndefinable(selections[0]);
|
|
|
|
editor.revealRange(selection, vscode.TextEditorRevealType.InCenterIfOutsideViewport);
|
2021-05-23 15:32:24 -05:00
|
|
|
}
|
2020-05-25 03:59:54 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
function parseSnippet(snip: string): [string, [number, number]] | undefined {
|
|
|
|
const m = snip.match(/\$(0|\{0:([^}]*)\})/);
|
|
|
|
if (!m) return undefined;
|
|
|
|
const placeholder = m[2] ?? "";
|
2022-05-17 12:15:06 -05:00
|
|
|
if (m.index == null) return undefined;
|
2021-02-07 11:45:13 -06:00
|
|
|
const range: [number, number] = [m.index, placeholder.length];
|
2020-05-25 03:59:54 -05:00
|
|
|
const insert = snip.replace(m[0], placeholder);
|
|
|
|
return [insert, range];
|
|
|
|
}
|
|
|
|
|
|
|
|
function countLines(text: string): number {
|
|
|
|
return (text.match(/\n/g) || []).length;
|
|
|
|
}
|