agent2: Port profile selector (#36244)

Release Notes:

- N/A
This commit is contained in:
Bennet Bo Fenner 2025-08-15 16:06:56 +02:00 committed by GitHub
parent 91e6b38285
commit 10a2426a58
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 91 additions and 32 deletions

View file

@ -499,6 +499,10 @@ impl Thread {
self.tools.remove(name).is_some()
}
pub fn profile(&self) -> &AgentProfileId {
&self.profile_id
}
pub fn set_profile(&mut self, profile_id: AgentProfileId) {
self.profile_id = profile_id;
}