agent_ui: More agent notifications (#35441)

Release Notes:

- N/A
This commit is contained in:
Ben Brandt 2025-08-01 16:29:02 +02:00 committed by GitHub
parent 106aa0d9cc
commit e5c6a596a9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 547 additions and 11 deletions

View file

@ -1521,6 +1521,9 @@ impl AgentDiff {
self.update_reviewing_editors(workspace, window, cx);
}
}
AcpThreadEvent::Stopped
| AcpThreadEvent::ToolAuthorizationRequired
| AcpThreadEvent::Error => {}
}
}