From 9f6cacdbe102ca4875cccbdfd9a4486a4590e576 Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Sat, 16 Nov 2024 20:49:24 -0800 Subject: [PATCH] + --- .../workbench/contrib/void/browser/registerInlineDiffs.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/vs/workbench/contrib/void/browser/registerInlineDiffs.ts b/src/vs/workbench/contrib/void/browser/registerInlineDiffs.ts index 96dca09a..faee1428 100644 --- a/src/vs/workbench/contrib/void/browser/registerInlineDiffs.ts +++ b/src/vs/workbench/contrib/void/browser/registerInlineDiffs.ts @@ -190,7 +190,7 @@ class InlineDiffsService extends Disposable implements IInlineDiffsService { let refreshIds: Set = new Set() // realign for (let change of e.changes) { - const ids = this._realignAllDiffAreaLines(model, change.text, change.range) + const ids = this._realignAllDiffAreasLines(model, change.text, change.range) ids.forEach(id => refreshIds.add(id)) } // refresh @@ -467,7 +467,7 @@ class InlineDiffsService extends Disposable implements IInlineDiffsService { // changes the start/line locations of all DiffAreas on the page (adjust their start/end based on the change) based on the change that was recently made - private _realignAllDiffAreaLines(model: ITextModel, text: string, recentChange: { startLineNumber: number; endLineNumber: number; }) { + private _realignAllDiffAreasLines(model: ITextModel, text: string, recentChange: { startLineNumber: number; endLineNumber: number; }) { let diffAreaIdsThatNeedRefreshing: number[] = [] @@ -533,7 +533,7 @@ class InlineDiffsService extends Disposable implements IInlineDiffsService { this._weAreWriting = false } - this._realignAllDiffAreaLines(model, text, range) + this._realignAllDiffAreasLines(model, text, range) }