![]() This PR makes it so we include the `default_profile` and `profiles` settings in the JSON schema. This provides completions when editing the `settings.json`. Release Notes: - N/A |
||
---|---|---|
.. | ||
agent_profile.rs | ||
assistant_settings.rs |
![]() This PR makes it so we include the `default_profile` and `profiles` settings in the JSON schema. This provides completions when editing the `settings.json`. Release Notes: - N/A |
||
---|---|---|
.. | ||
agent_profile.rs | ||
assistant_settings.rs |