Elgato_dark/void
1
0
Fork 0
mirror of https://github.com/voideditor/void synced 2026-05-24 09:58:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

remove errors

Browse source
This commit is contained in:
Andrew Pareles 2024-12-27 23:56:24 -05:00
parent dfbd729fa4
commit 9a9d0da91e
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/vs/workbench/contrib/void/browser/inlineDiffsService.ts
View file

@ -147,7 +147,7 @@ type HistorySnapshot = {
export interface IInlineDiffsService {
readonly _serviceBrand: undefined;
startStreaming(params: , str: string): void;
startStreaming(opts: StartStreamingOpts, userMessage: string): Promise<number | undefined>;
}
export const IInlineDiffsService = createDecorator<IInlineDiffsService>('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) {
}
// }