src/vs/platform/undoRedo/common/undoRedoService.ts/ResourceEditStack/flushAllElements
class ResourceEditStack:	public flushAllElements(): void {
		this._past = [];
		this._future = [];
		this.versionId++;
	}