mirror of
https://github.com/zed-industries/zed.git
synced 2026-06-01 03:14:56 +07:00
43061b6b16
Closes #ISSUE Adds a couple functions to the `SettingsStore`: - `get_value_from_file`: Gets a value from a given settings file (`Local`, `User`, etc) and if the value isn't found in the requested file, walks the known settings files in the order in which they are merged to find the settings value in lower precedence settings files (i.e. if value not set anywhere will always return default value) - `get_overrides_for_field`: Returns a list of settings files where a given setting is set that have higher precedence than the passed in file. e.g. passing in user will result in project settings files where the value is set being returned. Additionally changes the default for the `project_name` setting to uphold the rules we are attempting to enforce on the settings, namely: - All settings fields should be of the form `Option<T>` - `None` (or `null` in JSON) should never be a meaningful value Follow up PRs will handle implementing a function to write to an arbitrary settings file, and passing through metadata to the above functions to control how overrides are determined for more complicated cases like `SaturatingBool` (`disable_ai`) and `ExtendingVec` Release Notes: - N/A *or* Added/Fixed/Improved ... --------- Co-authored-by: Ben Kunkle <ben@zed.dev> Co-authored-by: Anthony Eid <hello@anthonyeid.me> Co-authored-by: Danilo Leal <daniloleal09@gmail.com> Co-authored-by: Anthony <anthony@zed.dev> |
||
|---|---|---|
| .. | ||
| default.json | ||
| initial_debug_tasks.json | ||
| initial_local_debug_tasks.json | ||
| initial_local_settings.json | ||
| initial_server_settings.json | ||
| initial_tasks.json | ||
| initial_user_settings.json | ||