fix: render edit tool diffs in HTML export

- Use result.details.diff from tool execution (same as TUI)
- Apply proper color coding for added/removed/context lines
- Remove unused generateDiff function
- Match TUI's diff rendering approach
This commit is contained in:
Mario Zechner 2025-11-12 22:39:07 +01:00
parent 9bd297e253
commit cc6e4c7f38
4 changed files with 840 additions and 84 deletions

File diff suppressed because one or more lines are too long