From 316648e4279b3dccf8a39a17f5b063aa3b10eda9 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Wed, 12 Aug 2020 11:29:37 +0200
Subject: [PATCH] set scope to user only to mak options more understandable +
added higher dependency for b-language-server
---
package-lock.json | 9 +++++++--
package.json | 23 ++++++++++++++++-------
2 files changed, 23 insertions(+), 9 deletions(-)
diff --git a/package-lock.json b/package-lock.json
index a31f106..b5ba366 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -238,8 +238,8 @@
"integrity": "sha1-rqdNXmHB+JlhO/ZL2mbUx48v0X0="
},
"b-language-server": {
- "version": "https://github.com/SeeBasTStick/b-language-server/archive/v1.0.tar.gz",
- "integrity": "sha512-wPj5YZ0IRJijQqvXZpM4kkq0+fy50G/uWl7dsEP3YHaDaezE7bNnyGg9tkMpJ7MpM3cmYWZsRYMlNV4xrResdA=="
+ "version": "https://github.com/SeeBasTStick/b-language-server/archive/v1.2.tar.gz",
+ "integrity": "sha512-EHgYUw6zpvZnc+FVM2GS6a+wtexBmYRd5pGy0Jmpm1jZGBz8jXEU93dURenjlfkv4PKkfGm5fUnO005nZOOK2g=="
},
"balanced-match": {
"version": "1.0.0",
@@ -815,6 +815,11 @@
"integrity": "sha512-r5wGx7YeOwNWNlCA0wQ86zKyDLMQr+/RB8xy74M4hTphfmjlijTSSXGuH8rnvKZnfT9i+75zmd8jcKdMR4O6jA==",
"dev": true
},
+ "fs": {
+ "version": "0.0.1-security",
+ "resolved": "https://registry.npmjs.org/fs/-/fs-0.0.1-security.tgz",
+ "integrity": "sha1-invTcYa23d84E/I4WLV+yq9eQdQ="
+ },
"fs.realpath": {
"version": "1.0.0",
"resolved": "https://registry.npmjs.org/fs.realpath/-/fs.realpath-1.0.0.tgz",
diff --git a/package.json b/package.json
index 57fdf30..c7d8966 100644
--- a/package.json
+++ b/package.json
@@ -34,7 +34,7 @@
"languageServer.probHome": {
"id": "1",
"title": "ProBHome",
- "scope": "window",
+ "scope": "application",
"type": "string",
"default": "~/prob_prolog/probcli.sh",
"description": "Path to ProB executable"
@@ -42,7 +42,7 @@
"languageServer.wdChecks": {
"id": "2",
"title": "WD Checks",
- "scope": "window",
+ "scope": "application",
"type": "boolean",
"default": true,
"description": "Option for WD Checks"
@@ -50,7 +50,7 @@
"languageServer.strictChecks": {
"id": "3",
"title": "Strict Checks",
- "scope": "window",
+ "scope": "application",
"type": "boolean",
"default": false,
"description": "Option for stricter Checks"
@@ -58,7 +58,7 @@
"languageServer.performanceHints": {
"id": "4",
"title": "Performance Hints",
- "scope": "window",
+ "scope": "application",
"type": "boolean",
"default": true,
"description": "Option for performance-related Hints"
@@ -66,7 +66,7 @@
"languageServer.debugMode": {
"id": "5",
"title": "Debug Mode",
- "scope": "window",
+ "scope": "application",
"type": "boolean",
"default": true,
"description": "Option for enabeling (extensiv) debug messages"
@@ -74,10 +74,18 @@
"languageServer.maxNumberOfProblems": {
"id": "6",
"title": "max. number of problems",
- "scope": "window",
+ "scope": "application",
"type": "number",
"default": 100,
"description": "Controls the maximum number of problems produced by the server."
+ },
+ "common.javaHome": {
+ "id": "7",
+ "title": "Java Home",
+ "scope": "application",
+ "type": "string",
+ "default": "java",
+ "description": "points to the java sdk responsible for executing the server"
}
}
},
@@ -129,9 +137,10 @@
"@types/ndjson": "^1.5.0",
"@types/stream-to-array": "^2.3.0",
"@types/vscode": "^1.47.0",
- "b-language-server": "https://github.com/SeeBasTStick/b-language-server/archive/v1.0.tar.gz",
+ "b-language-server": "https://github.com/SeeBasTStick/b-language-server/archive/v1.2.tar.gz",
"clean": "^4.0.2",
"error": "^10.4.0",
+ "fs": "0.0.1-security",
"mkdirp": "^1.0.4",
"ndjson": "^1.5.0",
"path": "^0.12.7",
--
GitLab