324
);
325
if (sha1IsEqual || disposedModelData.sharesUndoRedoStack) {
327
>
if (isEditStackElement(element) && element.matchesResource(resource)) {
328
>
element.setModel(model);
329
>
}
330
>
}
331
>
for (const element of elements.future) {
332
if (isEditStackElement(element) && element.matchesResource(resource)) {
333
element.setModel(model);
334
}
335
}
336
>
this._undoRedoService.setElementsValidFlag(resource, true, (element) => (isEditStackElement(element) && element.matchesResource(resource)));
modelService.ts
337
>
if (sha1IsEqual) {
338
>
model._overwriteVersionId(disposedModelData.versionId);
339
>
model._overwriteAlternativeVersionId(disposedModelData.alternativeVersionId);
340
>
model._overwriteInitialUndoRedoSnapshot(disposedModelData.initialUndoRedoSnapshot);
341
>
}
342
} else {
343
if (disposedModelData.initialUndoRedoSnapshot !== null) {