make diffs human readable (#178816)

This commit is contained in:
Johannes Rieken 2023-03-31 16:34:18 +02:00 committed by GitHub
parent 0f434840ce
commit 9c9ba4c45d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -907,7 +907,7 @@ export class InteractiveEditorController implements IEditorContribution {
// make edits more minimal
this._ctxLastEditKind.set(reply.edits.length === 1 ? 'simple' : '');
const moreMinimalEdits = (await this._editorWorkerService.computeMoreMinimalEdits(textModel.uri, reply.edits, true));
const moreMinimalEdits = (await this._editorWorkerService.computeHumanReadableDiff(textModel.uri, reply.edits));
this._logService.trace('[IE] edits from PROVIDER and after making them MORE MINIMAL', provider.debugName, reply.edits, moreMinimalEdits);
this._recorder.addExchange(session, request, reply);