From 54b667ec9aa1d7fb027e0c604a13a49aac7f9c28 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Tue, 21 Jul 2020 14:16:06 +0200
Subject: [PATCH] changes at configuration + cleanup
---
package.json | 8 ++++----
src/extension.ts | 19 ++-----------------
2 files changed, 6 insertions(+), 21 deletions(-)
diff --git a/package.json b/package.json
index e641e45..26669f3 100644
--- a/package.json
+++ b/package.json
@@ -49,25 +49,25 @@
"description": "Traces the communication between VS Code and the language server."
},
"languageServer.probHome": {
- "scope": "window",
+ "scope": "resource",
"type": "string",
"default": "~/prob_prolog/probcli.sh",
"description": "Path to ProB executable"
},
"languageServer.wdChecks": {
- "scope": "window",
+ "scope": "resource",
"type": "boolean",
"default": true,
"description": "Option for WD Checks"
},
"languageServer.strictChecks": {
- "scope": "window",
+ "scope": "resource",
"type": "boolean",
"default": false,
"description": "Option for stricter Checks"
},
"languageServer.performanceHints": {
- "scope": "window",
+ "scope": "resource",
"type": "boolean",
"default": true,
"description": "Option for performance-related Hints"
diff --git a/src/extension.ts b/src/extension.ts
index 6c2bb94..a1abd33 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -23,24 +23,8 @@ import {
let client: LanguageClient;
export function activate(context: ExtensionContext) {
- // The server is implemented in node
-/* let serverModule = context.asAbsolutePath(
- path.join('server', 'out', 'server.js')
- );*/
- // The debug options for the server
- // --inspect=6009: runs the server in Node's Inspector mode so VS Code can attach to the server for debugging
- let debugOptions = { execArgv: ['--nolazy', '--inspect=6009'] };
-
- // If the extension is launched in debug mode then the debug server options are used
- // Otherwise the run options are used
+
let serverOptions: ServerOptions = {
- /* run: { module: serverModule, transport: TransportKind.ipc },
- debug: {
- module: serverModule,
- transport: TransportKind.ipc,
- options: debugOptions
- }
- */
command: '/usr/bin/java',
args: [ "-jar", "/home/sebastian/IdeaProjects/b-language-server/build/libs/b-language-server-all.jar"]
};
@@ -84,6 +68,7 @@ export function activate(context: ExtensionContext) {
// Start the client. This will also launch the server
let disposable = client.start();
context.subscriptions.push(disposable);
+
}
--
GitLab