mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
0f81b09625
The async diff preview computation could race with tool execution, causing editDiffPreview to contain an error (file already modified) while the actual tool result had the correct diff in details.diff. Fix: prioritize result.details.diff over editDiffPreview when the tool has executed successfully. The preview is only used before tool execution completes.
0f81b09625
ยท
2026-01-03 04:23:59 +01:00
History