From e593dc573b79bf593a46e34b155eed9ff5f988f8 Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Sun, 2 Aug 2020 18:38:18 +0200 Subject: [PATCH] small changes to make code more readable --- .vscode/settings.json | 4 ++-- src/extension.ts | 22 ++++++++++------------ 2 files changed, 12 insertions(+), 14 deletions(-) diff --git a/.vscode/settings.json b/.vscode/settings.json index 436b910..91e0d40 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -6,6 +6,6 @@ "editor.codeActionsOnSave": { "source.fixAll.eslint": true }, - "languageServer.wdChecks": false, - "languageServer.probHome": "/home/sebastian/prb_prolog/probcli.sh" + //"languageServer.wdChecks": false, + //"languageServer.probHome": "/home/sebastian/prb_prolog/probcli.sh" } \ No newline at end of file diff --git a/src/extension.ts b/src/extension.ts index a1abd33..5ba11e5 100644 --- a/src/extension.ts +++ b/src/extension.ts @@ -1,23 +1,16 @@ -/* -------------------------------------------------------------------------------------------- - * Copyright (c) Microsoft Corporation. All rights reserved. - * Licensed under the MIT License. See License.txt in the project root for license information. - * ------------------------------------------------------------------------------------------ */ - import { workspace, ExtensionContext, window, WorkspaceConfiguration, TextEditor, -StatusBarAlignment } from 'vscode'; - + StatusBarAlignment } from 'vscode'; import { LanguageClient, LanguageClientOptions, ServerOptions, - TransportKind } from 'vscode-languageclient'; let client: LanguageClient; @@ -47,14 +40,21 @@ export function activate(context: ExtensionContext) { client.onReady().then(() => { let bla = window.createOutputChannel("internal_error") + client.onDidChangeState(event => { bla.appendLine("Error") + }) client.onNotification("path_error_prob", (message:string) => { window.showErrorMessage('a problem occured: ' + message) + bla.appendLine("Error") }); client.onNotification("parse_error_prob", (message:string) => { window.showErrorMessage('a error occured :' + message) + bla.appendLine("Error") + }); client.onNotification("lsp-test", (message:string) => { window.showErrorMessage('test message recived: ' + message) + bla.appendLine("Error") + }); }); @@ -62,7 +62,7 @@ export function activate(context: ExtensionContext) { - item.text = 'Starting Le Language Server de Chamrousse...'; + item.text = 'Starting ProB LSP...'; toggleItem(window.activeTextEditor, item); // Start the client. This will also launch the server @@ -89,7 +89,5 @@ function toggleItem(editor: TextEditor, item) { } } -function getServerConfiguration():WorkspaceConfiguration { - return workspace.getConfiguration('ski'); -} + -- GitLab