From 30835e65a804d2aec22ab4f902faad97909b339a Mon Sep 17 00:00:00 2001 From: Martin Aeschlimann Date: Mon, 5 Dec 2016 12:06:34 +0100 Subject: [PATCH] [html] add server trace option --- extensions/html/package.json | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/extensions/html/package.json b/extensions/html/package.json index 15abe6f5cd3..b733fd5c216 100644 --- 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." } } }