From 71ef1083b32475af6b993c488e419f2399fcc920 Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Wed, 5 Aug 2020 12:44:45 +0200 Subject: [PATCH] removed unused code --- src/extension.ts | 21 +-------------------- 1 file changed, 1 insertion(+), 20 deletions(-) diff --git a/src/extension.ts b/src/extension.ts index e697c25..cf30bf3 100644 --- a/src/extension.ts +++ b/src/extension.ts @@ -11,6 +11,7 @@ import { LanguageClient, LanguageClientOptions, ServerOptions, + NotificationType, } from 'vscode-languageclient'; let client: LanguageClient; @@ -35,28 +36,8 @@ export function activate(context: ExtensionContext) { // Create the language client and start the client. client = new LanguageClient('languageServer', 'Language Server', serverOptions, clientOptions) - - - - - client.onReady().then(() => { - - let bla = window.createOutputChannel("internal_error") - client.onRequest("hello", (message:string) => { - window.showErrorMessage('a problem occured: ' + message) - }); - client.onNotification("path_error_prob", (message:string) => { - window.showErrorMessage('a problem occured: ' + message) - }); - client.onNotification("parse_error_prob", (message:string) => { - window.showErrorMessage('a error occured :' + message) - }); - }); - let item = window.createStatusBarItem(StatusBarAlignment.Right, Number.MIN_VALUE); - - item.text = 'Starting ProB LSP...'; toggleItem(window.activeTextEditor, item); -- GitLab