0de5c2ed53
This PR updates the ordering of the agent profiles in the tool selector to respect the order they are defined in in the settings instead of sorting them alphabetically. This gives the user more control, and allows them to order the profiles as they desire. Release Notes: - N/A
20 lines
499 B
Rust
20 lines
499 B
Rust
use std::sync::Arc;
|
|
|
|
use gpui::SharedString;
|
|
use indexmap::IndexMap;
|
|
|
|
/// A profile for the Zed Agent that controls its behavior.
|
|
#[derive(Debug, Clone)]
|
|
pub struct AgentProfile {
|
|
/// The name of the profile.
|
|
pub name: SharedString,
|
|
pub tools: IndexMap<Arc<str>, bool>,
|
|
#[allow(dead_code)]
|
|
pub context_servers: IndexMap<Arc<str>, ContextServerPreset>,
|
|
}
|
|
|
|
#[derive(Debug, Clone)]
|
|
pub struct ContextServerPreset {
|
|
#[allow(dead_code)]
|
|
pub tools: IndexMap<Arc<str>, bool>,
|
|
}
|