From 63ac9cc7479ae985881673c567f84ace85c4253d Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Thu, 6 Aug 2020 17:34:37 +0200
Subject: [PATCH] updated settings
---
package.json | 34 +++++++++++++++++-----------------
1 file changed, 17 insertions(+), 17 deletions(-)
diff --git a/package.json b/package.json
index 2ce2e23..101419b 100644
--- a/package.json
+++ b/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": [
{
--
GitLab