Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-05-02 14:31:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Extract undo/redo

Browse Source
This commit is contained in:
Matt Bierner
2020-03-12 20:51:19 -07:00
parent a79af6ef02
commit 8383eec1b6
1 changed files with 33 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

61
src/vs/workbench/api/browser/mainThreadWebview.ts
View File

@@ -600,6 +600,7 @@ class MainThreadCustomEditorModel extends Disposable implements ICustomEditorMod
readonly onDidChangeContent: Event<void> = this._onDidChangeContent.event;
//#endregion
public get viewType() {
return this._viewType;
}
@@ -618,39 +619,43 @@ class MainThreadCustomEditorModel extends Disposable implements ICustomEditorMod
type: UndoRedoElementType.Resource,
resource: this.resource,
label: label ?? localize('defaultEditLabel', "Edit"),
undo: async () => {
if (!this._editable) {
return;
}
undo: () => this.undo(),
redo: () => this.redo(),
});
}
if (this._currentEditIndex < 0) {
// nothing to undo
return;
}
private async undo(): Promise<void> {
if (!this._editable) {
return;
}
const undoneEdit = this._edits[this._currentEditIndex];
await this._proxy.$undo(this.resource, this.viewType, undoneEdit);
if (this._currentEditIndex < 0) {
// nothing to undo
return;
}
this.change(() => {
--this._currentEditIndex;
});
},
redo: async () => {
if (!this._editable) {
return;
}
const undoneEdit = this._edits[this._currentEditIndex];
await this._proxy.$undo(this.resource, this.viewType, undoneEdit);
if (this._currentEditIndex >= this._edits.length - 1) {
// nothing to redo
return;
}
this.change(() => {
--this._currentEditIndex;
});
}
const redoneEdit = this._edits[this._currentEditIndex + 1];
await this._proxy.$redo(this.resource, this.viewType, redoneEdit);
this.change(() => {
++this._currentEditIndex;
});
}
private async redo(): Promise<void> {
if (!this._editable) {
return;
}
if (this._currentEditIndex >= this._edits.length - 1) {
// nothing to redo
return;
}
const redoneEdit = this._edits[this._currentEditIndex + 1];
await this._proxy.$redo(this.resource, this.viewType, redoneEdit);
this.change(() => {
++this._currentEditIndex;
});
}