From 82231fd7d1036d03b31afefe62ce425c2628de02 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Mon, 10 Aug 2020 17:30:37 +0200
Subject: [PATCH] added more default options
---
.vscode/settings.json | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/.vscode/settings.json b/.vscode/settings.json
index 91e0d40..10afe40 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -1,11 +1,10 @@
{
"editor.insertSpaces": false,
- "tslint.enable": true,
"typescript.tsc.autoDetect": "off",
"typescript.preferences.quoteStyle": "single",
"editor.codeActionsOnSave": {
"source.fixAll.eslint": true
},
- //"languageServer.wdChecks": false,
- //"languageServer.probHome": "/home/sebastian/prb_prolog/probcli.sh"
+ "languageServer.wdChecks": false,
+ "languageServer.debugMode": false
}
\ No newline at end of file
--
GitLab