From 94533d278095ff290920bfd310230e68b0d9a9f4 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Wed, 5 Aug 2020 12:44:08 +0200
Subject: [PATCH] added option for debugmode
---
package.json | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/package.json b/package.json
index b32a556..e668ecd 100644
--- a/package.json
+++ b/package.json
@@ -71,6 +71,12 @@
"type": "boolean",
"default": true,
"description": "Option for performance-related Hints"
+ },
+ "languageServer.debugMode": {
+ "scope": "resource",
+ "type": "boolean",
+ "default": true,
+ "description": "Option for enabeling (extensiv) debug messages"
}
}
},
--
GitLab