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

small fix

Browse source
This commit is contained in:
Andrew Pareles 2025-02-12 21:55:58 -08:00
parent 7cdb003c47
commit a479a32ad5
1 changed files with 4 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1287,7 +1287,7 @@ Please output SEARCH/REPLACE blocks to make the change. Return ONLY your suggest
if (block.state === 'done')
currStreamingBlockNum = blockNum
if (block.state === 'writingOriginal')
if (block.state === 'writingOriginal') // must be done writing original
continue
let deltaFinalText: string
@ -1353,16 +1353,12 @@ Please output SEARCH/REPLACE blocks to make the change. Return ONLY your suggest
const diffareaid = diffareaidOfBlockNum[blockNum]
const diffZone = this.diffAreaOfId[diffareaid]
if (diffZone?.type !== 'DiffZone') continue
diffZone._streamState = { isStreaming: false, }
this._onDidChangeStreaming.fire({ uri, diffareaid: diffZone.diffareaid })
this._refreshStylesAndDiffsInURI(uri)
onFinishEdit()
// if had error, revert!
if (hadError) this._undoHistory(diffZone._URI)
}
this._refreshStylesAndDiffsInURI(uri)
if (hadError) this._undoHistory(uri)
onFinishEdit()
}