1 Commits

• 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

  Mario Zechner · 2025-11-12 22:39:07 +01:00
  cc6e4c7f38