mirror of
https://github.com/zed-industries/zed.git
synced 2025-02-06 18:46:49 +00:00
029eb67043
This PR adds a `json_merge_with` function to `SettingsSources::<T>` to allow JSON merging settings from custom sources. This should help avoid repeating the actual merging logic when all that needs to be customized is which sources are being respected. Release Notes: - N/A
48 lines
1.5 KiB
Rust
48 lines
1.5 KiB
Rust
use anyhow::Result;
|
|
use collections::HashMap;
|
|
use gpui::AppContext;
|
|
use schemars::JsonSchema;
|
|
use serde::{Deserialize, Serialize};
|
|
use settings::{Settings, SettingsSources};
|
|
use std::sync::Arc;
|
|
|
|
#[derive(Deserialize, Serialize, Debug, Default, Clone, JsonSchema)]
|
|
pub struct ExtensionSettings {
|
|
/// The extensions that should be automatically installed by Zed.
|
|
///
|
|
/// This is used to make functionality provided by extensions (e.g., language support)
|
|
/// available out-of-the-box.
|
|
#[serde(default)]
|
|
pub auto_install_extensions: HashMap<Arc<str>, bool>,
|
|
#[serde(default)]
|
|
pub auto_update_extensions: HashMap<Arc<str>, bool>,
|
|
}
|
|
|
|
impl ExtensionSettings {
|
|
/// Returns whether the given extension should be auto-installed.
|
|
pub fn should_auto_install(&self, extension_id: &str) -> bool {
|
|
self.auto_install_extensions
|
|
.get(extension_id)
|
|
.copied()
|
|
.unwrap_or(true)
|
|
}
|
|
|
|
pub fn should_auto_update(&self, extension_id: &str) -> bool {
|
|
self.auto_update_extensions
|
|
.get(extension_id)
|
|
.copied()
|
|
.unwrap_or(true)
|
|
}
|
|
}
|
|
|
|
impl Settings for ExtensionSettings {
|
|
const KEY: Option<&'static str> = None;
|
|
|
|
type FileContent = Self;
|
|
|
|
fn load(sources: SettingsSources<Self::FileContent>, _cx: &mut AppContext) -> Result<Self> {
|
|
SettingsSources::<Self::FileContent>::json_merge_with(
|
|
[sources.default].into_iter().chain(sources.user),
|
|
)
|
|
}
|
|
}
|