Troublesome when users do not, as it overrides VS Code's global editor.formatOnSave setting (i.e. users cannot disable auto-formatting on Noir, even when the Format on Save option in VS Code's settings is unchecked).
Summary*
Remove the override.
PR Checklist*
[x] I have tested the changes locally.
[x] I have formatted the changes with Prettier and/or cargo fmt on default settings.
Description
Problem*
https://github.com/noir-lang/vscode-noir/pull/55 added the default configuration:
Useful when users prefer auto-formatting.
Troublesome when users do not, as it overrides VS Code's global
editor.formatOnSave
setting (i.e. users cannot disable auto-formatting on Noir, even when the Format on Save option in VS Code's settings is unchecked).Summary*
Remove the override.
PR Checklist*
cargo fmt
on default settings.