This commit is contained in:
Henning Dieterichs 2022-11-03 11:57:53 +01:00 committed by GitHub
parent 86f0f9bfa2
commit 209a5cd517
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -152,7 +152,10 @@ export class MergeEditorModel extends EditorModel {
state.handled.set(handled, tx);
}
this.resultTextModel.setValue(this.computeAutoMergedResult());
this.resultTextModel.pushEditOperations(null, [{
range: new Range(1, 1, Number.MAX_SAFE_INTEGER, 1),
text: this.computeAutoMergedResult()
}], () => null);
});
}