![]() 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 |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
LICENSE-GPL |
![]() 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 |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
LICENSE-GPL |