Describe the bug
The project settings aren't automatically updated when you edit the qsharp.json file. You need to go and edit a .qs file to trigger an update.
To Reproduce
Steps to reproduce the behavior:
- Open a Q# project.
- Try modifying the
qsharp.json file, for example change the level of some lint as follows:
{
"lints": [
{
"lint": "divisionByZero",
"level": "error"
}
]
}
- Problem: the lints won't update automatically on your open
.qs files, you need to edit the file to trigger an update.
Expected behavior
The expected behavior is that when we save the qsharp.json file, the Q# project should update automatically.
Describe the bug
The project settings aren't automatically updated when you edit the
qsharp.jsonfile. You need to go and edit a.qsfile to trigger an update.To Reproduce
Steps to reproduce the behavior:
qsharp.jsonfile, for example change the level of some lint as follows:{ "lints": [ { "lint": "divisionByZero", "level": "error" } ] }.qsfiles, you need to edit the file to trigger an update.Expected behavior
The expected behavior is that when we save the
qsharp.json file, the Q# project should update automatically.