diff --git a/.vscode/settings.json b/.vscode/settings.json
index 91e0d40ef825677db4352157ca870c07b8f31f05..10afe40ce1d3a46da177f8f0337fb4ce14580698 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