agent: Push diffs of user edits to the agent (#34487)

This change improves user/agent collaborative editing.

When the user edits files that are used by the agent, the
`project_notification` tool now pushes *diffs* of the changes, not just
file names. This helps the agent to stay up to date without needing to
re-read files.

Release Notes:

- Improved user/agent collaborative editing: agent now receives diffs of
user edits

This commit is contained in:

Oleksiy Syvokon

2025-07-16 14:38:58 +00:00

committed by

GitHub

parent 257bedf09b

commit 406ffb1e20

5 changed files with 274 additions and 77 deletions

Cargo.lock

Generated

View File

@@ -745,6 +745,7 @@ dependencies = [
  "futures 0.3.31",
  "gpui",
  "icons",
  "indoc",
  "language",
  "language_model",
  "log",