From 9a9d0da91e2b33b6df242f4f629dd6ae006aba31 Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Fri, 27 Dec 2024 23:56:24 -0500 Subject: [PATCH] remove errors --- .../workbench/contrib/void/browser/inlineDiffsService.ts | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/vs/workbench/contrib/void/browser/inlineDiffsService.ts b/src/vs/workbench/contrib/void/browser/inlineDiffsService.ts index d20d770f..51eaabdd 100644 --- a/src/vs/workbench/contrib/void/browser/inlineDiffsService.ts +++ b/src/vs/workbench/contrib/void/browser/inlineDiffsService.ts @@ -147,7 +147,7 @@ type HistorySnapshot = { export interface IInlineDiffsService { readonly _serviceBrand: undefined; - startStreaming(params: , str: string): void; + startStreaming(opts: StartStreamingOpts, userMessage: string): Promise; } export const IInlineDiffsService = createDecorator('inlineDiffAreasService'); @@ -866,14 +866,15 @@ Please finish writing the new file by applying the diff to the original file. Re if (!uri) return // TODO reject all diffs in the diff area // TODO deselect user's cursor + // TODO convert opts to opts const addedDiffZone = this._initializeStream(opts, userMessage, uri) return addedDiffZone?.diffareaid } - private _stopIfStreaming(diffZone: DiffZone) { + // private _stopIfStreaming(diffZone: DiffZone) { - } + // }