1067
1068
public undo(resourceOrSource: URI | UndoRedoSource): Promise<void> | void {
1070
const [, matchedStrResource] = this._findClosestUndoElementWithSource(resourceOrSource.id);
1071
return matchedStrResource ? this._undo(matchedStrResource, resourceOrSource.id, false) : undefined;
1072
}
1074
return this._undo(resourceOrSource, 0, false);
1075
}
1076
>
return this._undo(this.getUriComparisonKey(resourceOrSource), 0, false);
undoRedoService.ts
1077
>
}
1078
1079
private _undo(strResource: string, sourceId: number = 0, undoConfirmed: boolean): Promise<void> | void {
1081
return;
1082
}