406ffb1e20
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 |
||
|---|---|---|
| .. | ||
| prompts | ||
| agent.rs | ||
| agent_profile.rs | ||
| context.rs | ||
| context_server_tool.rs | ||
| context_store.rs | ||
| history_store.rs | ||
| thread.rs | ||
| thread_store.rs | ||
| tool_use.rs | ||