From 8b5df88e13b11002bc1964b1d2de6a1d51d6f96d Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Sun, 18 Oct 2020 18:22:39 +0200
Subject: [PATCH] renamed options
---
.vscode/settings.json | 4 ++--
README.md | 10 +++++-----
package-lock.json | 12 ++++++------
package.json | 10 +++++-----
4 files changed, 18 insertions(+), 18 deletions(-)
diff --git a/.vscode/settings.json b/.vscode/settings.json
index 10afe40..074558c 100644
--- a/.vscode/settings.json
+++ b/.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
diff --git a/README.md b/README.md
index 5189b85..98ee5d2 100644
--- a/README.md
+++ b/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
diff --git a/package-lock.json b/package-lock.json
index 2c3db07..75dddd3 100644
--- a/package-lock.json
+++ b/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": {
diff --git a/package.json b/package.json
index 3c8fe2a..a37c8f5 100644
--- a/package.json
+++ b/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",
--
GitLab