From eec63c7aec2972288ae9aa40132378ceb5658a5b Mon Sep 17 00:00:00 2001 From: Johannes Date: Mon, 24 Apr 2023 12:09:34 +0200 Subject: [PATCH] don't terminate IE session when observing outside edits Only when they earase everything cancel IE session, otherwise just live with it --- .../browser/interactiveEditorController.ts | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditorController.ts b/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditorController.ts index 998d9ad4f73f3..0acdc15d98518 100644 --- a/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditorController.ts +++ b/src/vs/workbench/contrib/interactiveEditor/browser/interactiveEditorController.ts @@ -434,14 +434,14 @@ export class InteractiveEditorController implements IEditorContribution { this._logService.trace('[IE] ABORT wholeRange seems gone/collapsed'); return; } - for (const change of e.changes) { - if (!Range.areIntersectingOrTouching(wholeRange, change.range)) { - this._ctsSession.cancel(); - this._logService.trace('[IE] CANCEL because of model change OUTSIDE range'); - this._currentSession!.teldata.terminalEdits = true; - break; - } - } + // for (const change of e.changes) { + // if (!Range.areIntersectingOrTouching(wholeRange, change.range)) { + // this._ctsSession.cancel(); + // this._logService.trace('[IE] CANCEL because of model change OUTSIDE range'); + // this._currentSession!.teldata.terminalEdits = true; + // break; + // } + // } } }, undefined, store);