[json] add server trace option

2026-04-25 19:18:59 +01:00 · 2016-12-05 12:07:02 +01:00
parent 30835e65a8
commit 4d8781d17a
1 changed files with 10 additions and 0 deletions
--- a/extensions/json/package.json
+++ b/extensions/json/package.json
@@ -97,6 +97,16 @@
          "type": "boolean",
          "default": true,
          "description": "%json.format.enable.desc%"
+        },
+        "json.trace.server": {
+          "type": "string",
+          "enum": [
+            "off",
+            "messages",
+            "verbose"
+          ],
+          "default": "off",
+          "description": "Traces the communication between VS Code and the JSON language server."
        }
      }
    }