Skip to content
Snippets Groups Projects
Commit 71ef1083 authored by SeeBasTStick's avatar SeeBasTStick
Browse files

removed unused code

parent 94533d27
No related branches found
No related tags found
No related merge requests found
...@@ -11,6 +11,7 @@ import { ...@@ -11,6 +11,7 @@ import {
LanguageClient, LanguageClient,
LanguageClientOptions, LanguageClientOptions,
ServerOptions, ServerOptions,
NotificationType,
} from 'vscode-languageclient'; } from 'vscode-languageclient';
let client: LanguageClient; let client: LanguageClient;
...@@ -35,28 +36,8 @@ export function activate(context: ExtensionContext) { ...@@ -35,28 +36,8 @@ export function activate(context: ExtensionContext) {
// Create the language client and start the client. // Create the language client and start the client.
client = new LanguageClient('languageServer', 'Language Server', serverOptions, clientOptions) 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); let item = window.createStatusBarItem(StatusBarAlignment.Right, Number.MIN_VALUE);
item.text = 'Starting ProB LSP...'; item.text = 'Starting ProB LSP...';
toggleItem(window.activeTextEditor, item); toggleItem(window.activeTextEditor, item);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment