--- a/src/Tools/VSCode/extension/src/extension.ts Thu Mar 09 21:08:41 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts Thu Mar 09 21:09:45 2017 +0100
@@ -5,7 +5,7 @@
import * as os from 'os';
import * as decorations from './decorations';
import { Decoration } from './decorations'
-import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind }
+import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind, NotificationType }
from 'vscode-languageclient';
@@ -41,7 +41,9 @@
decorations.init(context)
vscode.window.onDidChangeActiveTextEditor(decorations.update_editor)
vscode.workspace.onDidCloseTextDocument(decorations.close_document)
- client.onNotification<Decoration>({method: "PIDE/decoration"}, decorations.apply_decoration)
+ client.onReady().then(() =>
+ client.onNotification(
+ new NotificationType<Decoration, void>("PIDE/decoration"), decorations.apply_decoration))
context.subscriptions.push(client.start());
}