updated settings

package.json

@@ -32,53 +32,53 @@
 			"title": "Configuration",
 			"properties": {
 				"languageServer.maxNumberOfProblems": {
+					"id" : "6",
+					"title": "max. number of problems",
 					"scope": "resource",
 					"type": "number",
 					"default": 100,
 					"description": "Controls the maximum number of problems produced by the server."
 				},
-				"languageServer.trace.server": {
-					"scope": "window",
-					"type": "string",
-					"enum": [
-						"off",
-						"messages",
-						"verbose"
-					],
-					"default": "off",
-					"description": "Traces the communication between VS Code and the language server."
-				},
 				"languageServer.probHome": {
+					"id" : "1",
+					"title": "ProBHome",
 					"scope": "resource",
 					"type": "string",
 					"default": "~/prob_prolog/probcli.sh",
 					"description": "Path to ProB executable"
 				},
 				"languageServer.wdChecks": {
-					"scope": "resource",
+					"id" : "2",
+					"title": "WD Checks",
+					"scope": "machine",
 					"type": "boolean",
 					"default": true,
 					"description": "Option for WD Checks"
 				},
 				"languageServer.strictChecks": {
-					"scope": "resource",
+					"id" : "3",
+					"title": "Strict Checks",
+					"scope": "machine",
 					"type": "boolean",
 					"default": false,
 					"description": "Option for stricter Checks"
 				},
 				"languageServer.performanceHints": {
-					"scope": "resource",
+					"id" : "4",
+					"title": "Performance Hints",
+					"scope": "machine",
 					"type": "boolean",
 					"default": true,
 					"description": "Option for performance-related Hints"
 				},
 				"languageServer.debugMode": {
-					"scope": "resource",
+					"id" : "5",
+					"title": "Debug Mode",
+					"scope": "machine",
 					"type": "boolean",
 					"default": true,
 					"description": "Option for enabeling (extensiv) debug messages"
-				}
-			}
+				}			}
 		},
 		"languages": [
 			{