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

make history get added instantly so we can do interrupts

Browse source
This commit is contained in:
Andrew Pareles 2024-11-18 18:05:50 -08:00
parent 946ec70136
commit 67e9759d35
1 changed files with 13 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

28
src/vs/workbench/contrib/void/browser/registerInlineDiffs.ts
View file

@ -409,21 +409,20 @@ class InlineDiffsService extends Disposable implements IInlineDiffsService {
}
const beforeSnapshot: HistorySnapshot = getCurrentSnapshot()
console.log('BEFORE', beforeSnapshot)
let afterSnapshot: HistorySnapshot | null = null
const elt: IUndoRedoElement = {
type: UndoRedoElementType.Resource,
resource: model.uri,
label: 'Add Diffs',
code: 'undoredo.inlineDiffs',
undo: () => { restoreDiffAreas(beforeSnapshot) },
redo: () => { if (afterSnapshot) restoreDiffAreas(afterSnapshot) }
}
this._undoRedoService.pushElement(elt)
const onFinishEdit = () => {
const afterSnapshot: HistorySnapshot = getCurrentSnapshot()
console.log('AFTER', afterSnapshot)
const elt: IUndoRedoElement = {
type: UndoRedoElementType.Resource,
resource: model.uri,
label: 'Add Diffs',
code: 'undoredo.inlineDiffs',
undo: () => { restoreDiffAreas(beforeSnapshot) },
redo: () => { restoreDiffAreas(afterSnapshot) }
}
this._undoRedoService.pushElement(elt)
afterSnapshot = getCurrentSnapshot()
}
return { onFinishEdit }
}
@ -547,7 +546,6 @@ class InlineDiffsService extends Disposable implements IInlineDiffsService {
// ----------- 2. Recompute sweep in the diffArea if streaming -----------
if (diffArea._sweepState.isStreaming) {
console.log('SWEEP STYLES', diffArea._sweepState.line, diffArea.endLine)
const disposeSweepStyles = this._addSweepStyles(model, diffArea._sweepState.line, diffArea.endLine)
diffArea._disposeSweepStyles = disposeSweepStyles
}