Add MD server tracing and update diagnostics on files changes (#155797)

This commit is contained in:
Matt Bierner
2022-07-21 10:07:06 -07:00
committed by GitHub
parent 9c413ba105
commit b2daf1af82
6 changed files with 34 additions and 13 deletions

View File

@@ -398,16 +398,27 @@
"description": "%configuration.markdown.suggest.paths.enabled.description%",
"scope": "resource"
},
"markdown.trace": {
"markdown.trace.extension": {
"type": "string",
"enum": [
"off",
"verbose"
],
"default": "off",
"description": "%markdown.trace.desc%",
"description": "%markdown.trace.extension.desc%",
"scope": "window"
},
"markdown.trace.server": {
"type": "string",
"scope": "window",
"enum": [
"off",
"messages",
"verbose"
],
"default": "off",
"description": "%markdown.trace.server.desc%"
},
"markdown.editor.drop.enabled": {
"type": "boolean",
"default": true,