public getElements(resource: URI): IPastFutureElements {
if (this._editStacks.has(strResource)) {
const editStack = this._editStacks.get(strResource)!;
return editStack.getElements();
}
return { past: [], future: [] };
private _findClosestUndoElementWithSource(sourceId: number): [StackElement | null, string | null] {