Disabling the auto-generated HTML file on save works, but the parameter is not added automatically to settings.json.
How to reproduce
If I uncheck the parameter from the UI, that work as expected (no HTML file generated on save), but markdown.extension.print.onFileSave is not added to settings.json
If I add markdown.extension.print.onFileSave: false manually to settings.json and restart VSCode, the parameter is ignored and an html file is still generated on save, though possibly not on "save as".
What's the problem
Disabling the auto-generated HTML file on save works, but the parameter is not added automatically to
settings.json
.How to reproduce
markdown.extension.print.onFileSave
is not added tosettings.json
markdown.extension.print.onFileSave: false
manually tosettings.json
and restart VSCode, the parameter is ignored and an html file is still generated on save, though possibly not on "save as".Thanks,