[html] add server trace option

2024-08-27 21:09:43 +00:00 · 2016-12-05 12:06:34 +01:00 · 2016-12-05 12:06:34 +01:00 · 30835e65a8
parent 5ca19df5c1
commit 30835e65a8
1 changed files with 10 additions and 0 deletions
--- a/extensions/html/package.json
+++ b/extensions/html/package.json
@ -139,6 +139,16 @@
          "type": "boolean",
          "default": true,
          "description": "%html.suggest.html5.desc%"
+        },
+        "html.trace.server": {
+          "type": "string",
+          "enum": [
+            "off",
+            "messages",
+            "verbose"
+          ],
+          "default": "off",
+          "description": "Traces the communication between VS Code and the HTML language server."
        }
      }
    }