diff --git a/.vscode/settings.json b/.vscode/settings.json index 436b91041ec3748fa819e6ce48219f02cdb42c84..91e0d40ef825677db4352157ca870c07b8f31f05 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 a1abd33466d072149e31cfd08259af9c75a31abd..5ba11e5e68702dc59f0b03630304c1d625239292 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'); -} +