Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge 0c73bd8e9c into c14d84cfdb

Browse source
This commit is contained in:
Umesh Yadav 2025-08-26 15:08:05 +05:30 • committed by GitHub
commit 68edd95d97
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 19 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

22
crates/agent_ui/src/agent_configuration/configure_context_server_modal.rs
View file

@ -251,6 +251,7 @@ pub struct ConfigureContextServerModal {
workspace: WeakEntity<Workspace>, workspace: WeakEntity<Workspace>,
source: ConfigurationSource, source: ConfigurationSource,
state: State, state: State,
original_server_id: Option<ContextServerId>,
} }
impl ConfigureContextServerModal { impl ConfigureContextServerModal {
@ -348,6 +349,11 @@ impl ConfigureContextServerModal {
context_server_store, context_server_store,
workspace: workspace_handle, workspace: workspace_handle,
state: State::Idle, state: State::Idle,
original_server_id: match &target {
ConfigurationTarget::Existing { id, .. } => Some(id.clone()),
ConfigurationTarget::Extension { id, .. } => Some(id.clone()),
ConfigurationTarget::New => None,
},
source: ConfigurationSource::from_target( source: ConfigurationSource::from_target(
target, target,
language_registry, language_registry,
@ -415,9 +421,19 @@ impl ConfigureContextServerModal {
// When we write the settings to the file, the context server will be restarted. // When we write the settings to the file, the context server will be restarted.
workspace.update(cx, |workspace, cx| { workspace.update(cx, |workspace, cx| {
let fs = workspace.app_state().fs.clone(); let fs = workspace.app_state().fs.clone();
update_settings_file::<ProjectSettings>(fs.clone(), cx, |project_settings, _| { let original_server_id = self.original_server_id.clone();
project_settings.context_servers.insert(id.0, settings); update_settings_file::<ProjectSettings>(
}); fs.clone(),
cx,
move |project_settings, _| {
if let Some(original_id) = &original_server_id {
if original_id.0 != id.0 {
project_settings.context_servers.remove(&original_id.0);
}
}
project_settings.context_servers.insert(id.0, settings);
},
);
}); });
} else if let Some(existing_server) = existing_server { } else if let Some(existing_server) = existing_server {
self.context_server_store self.context_server_store