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

heursitc check

Browse source
This commit is contained in:
Andrew Pareles 2025-01-13 04:23:34 -08:00
parent 4cf13b67b0
commit 52d89e5815
1 changed files with 10 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -635,13 +635,17 @@ class InlineDiffsService extends Disposable implements IInlineDiffsService {
// restore file content
const numLines = this._getNumLines(uri)
if (numLines === null) return
this._writeText(uri, entireModelCode,
{ startColumn: 1, startLineNumber: 1, endLineNumber: numLines, endColumn: Number.MAX_SAFE_INTEGER },
{ shouldRealignDiffAreas: false }
)
// restore all the decorations
// this._refreshStylesAndDiffsInURI(uri)
const hasWriteChange = this._readURI(uri) !== entireModelCode // a heuristic check
if (hasWriteChange)
this._writeText(uri, entireModelCode,
{ startColumn: 1, startLineNumber: 1, endLineNumber: numLines, endColumn: Number.MAX_SAFE_INTEGER },
{ shouldRealignDiffAreas: false }
)
else {
// restore all the decorations
this._refreshStylesAndDiffsInURI(uri)
}
}
const beforeSnapshot: HistorySnapshot = getCurrentSnapshot()