Fix custom editor redo

This commit is contained in:
Matt Bierner
2019-11-25 11:54:14 -08:00
parent 750f28769d
commit 85d3ccfb9e
2 changed files with 6 additions and 5 deletions

View File

@@ -457,12 +457,12 @@ export class ExtHostWebviews implements ExtHostWebviewsShape {
}
}
$undoEdits(handle: WebviewPanelHandle, edits: string[]): void {
$undoEdits(handle: WebviewPanelHandle, edits: readonly any[]): void {
const panel = this.getWebviewPanel(handle);
panel?._undoEdits(edits);
}
$applyEdits(handle: WebviewPanelHandle, edits: string[]): void {
$applyEdits(handle: WebviewPanelHandle, edits: readonly any[]): void {
const panel = this.getWebviewPanel(handle);
panel?._redoEdits(edits);
}