renamed options

.vscode/settings.json

@@ -5,6 +5,6 @@
 	"editor.codeActionsOnSave": {
 		"source.fixAll.eslint": true
 	},
-	"languageServer.wdChecks": false,
-	"languageServer.debugMode": false
+	"proB.wdChecks": false,
+	"proB.debugMode": false
 }
\ No newline at end of file

README.md

@@ -17,11 +17,11 @@ Compiler support for B via ProB. You don´t need your own version of proB, This
 
 This extension contributes the following settings:
 
-* `languageServer.probHome`: to set the path to ProB
-* `languageServer.wdChecks`: to enable/disable WD (Well-Definedness) Checks. 
-* `languageServer.strictChecks`: to enable/disable stricter Checks. 
-* `languageServer.performanceHints`: to enable/disable performance-related Hints.
-* `languageServer.debugMode`: to enable/disable the server log
+* `proB.probHome`: to set the path to ProB
+* `proB.wdChecks`: to enable/disable WD (Well-Definedness) Checks. 
+* `proB.strictChecks`: to enable/disable stricter Checks. 
+* `proB.performanceHints`: to enable/disable performance-related Hints.
+* `proB.debugMode`: to enable/disable the server log
 
 
 ## Bugs

package-lock.json

@@ -1862,21 +1862,21 @@
 			"integrity": "sha512-YciJxk08iU5LmWu7j5dUt9/1OLjokKET6rME3cI4BRpiF6HZlusm2ZwPt0MYJ0lV5y43sZsQHhyon2xBg4ZJVA==",
 			"requires": {
 				"semver": "^6.3.0",
-				"vscode-languageserver-protocol": "^3.15.3"
+				"vscode-proB-protocol": "^3.15.3"
 			}
 		},
-		"vscode-languageserver-protocol": {
+		"vscode-proB-protocol": {
 			"version": "3.15.3",
-			"resolved": "https://registry.npmjs.org/vscode-languageserver-protocol/-/vscode-languageserver-protocol-3.15.3.tgz",
+			"resolved": "https://registry.npmjs.org/vscode-proB-protocol/-/vscode-proB-protocol-3.15.3.tgz",
 			"integrity": "sha512-zrMuwHOAQRhjDSnflWdJG+O2ztMWss8GqUUB8dXLR/FPenwkiBNkMIJJYfSN6sgskvsF0rHAoBowNQfbyZnnvw==",
 			"requires": {
 				"vscode-jsonrpc": "^5.0.1",
-				"vscode-languageserver-types": "3.15.1"
+				"vscode-proB-types": "3.15.1"
 			}
 		},
-		"vscode-languageserver-types": {
+		"vscode-proB-types": {
 			"version": "3.15.1",
-			"resolved": "https://registry.npmjs.org/vscode-languageserver-types/-/vscode-languageserver-types-3.15.1.tgz",
+			"resolved": "https://registry.npmjs.org/vscode-proB-types/-/vscode-proB-types-3.15.1.tgz",
 			"integrity": "sha512-+a9MPUQrNGRrGU630OGbYVQ+11iOIovjCkqxajPa9w57Sd5ruK8WQNsslzpa0x/QJqC8kRc2DUxWjIFwoNm4ZQ=="
 		},
 		"vscode-read-manifest": {

package.json

@@ -32,7 +32,7 @@
 			"type": "object",
 			"title": "Configuration",
 			"properties": {
-				"languageServer.probHome": {
+				"proB.probHome": {
 					"id": "1",
 					"title": "ProBHome",
 					"scope": "application",
@@ -40,7 +40,7 @@
 					"default": "~/prob_prolog/probcli.sh",
 					"description": "Path to ProB executable"
 				},
-				"languageServer.wdChecks": {
+				"proB.wdChecks": {
 					"id": "2",
 					"title": "WD Checks",
 					"scope": "window",
@@ -48,7 +48,7 @@
 					"default": true,
 					"description": "Option for WD Checks"
 				},
-				"languageServer.strictChecks": {
+				"proB.strictChecks": {
 					"id": "3",
 					"title": "Strict Checks",
 					"scope": "application",
@@ -56,7 +56,7 @@
 					"default": true,
 					"description": "Option for stricter Checks"
 				},
-				"languageServer.performanceHints": {
+				"proB.performanceHints": {
 					"id": "4",
 					"title": "Performance Hints",
 					"scope": "application",
@@ -64,7 +64,7 @@
 					"default": true,
 					"description": "Option for performance-related Hints"
 				},
-				"languageServer.debugMode": {
+				"proB.debugMode": {
 					"id": "5",
 					"title": "Debug Mode",
 					"scope": "application",