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 |
||
|---|---|---|
| .. | ||
| action_log.rs | ||
| assistant_tool.rs | ||
| outline.rs | ||
| tool_registry.rs | ||
| tool_schema.rs | ||
| tool_working_set.rs | ||