# HG changeset patch # User wenzelm # Date 1489090185 -3600 # Node ID d98ede9e59173372df0d82fc620d815cb2f2e327 # Parent 6cbb894181c87a3e839c26ed56ace46df0391ea9 updated to vscode-languageclient 3.0; diff -r 6cbb894181c8 -r d98ede9e5917 src/Tools/VSCode/extension/package.json --- a/src/Tools/VSCode/extension/package.json Thu Mar 09 21:08:41 2017 +0100 +++ b/src/Tools/VSCode/extension/package.json Thu Mar 09 21:09:45 2017 +0100 @@ -156,6 +156,6 @@ "@types/mocha": "^2.2.32" }, "dependencies": { - "vscode-languageclient": "^2.6.3" + "vscode-languageclient": "3.0.x" } } \ No newline at end of file diff -r 6cbb894181c8 -r d98ede9e5917 src/Tools/VSCode/extension/src/extension.ts --- 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({method: "PIDE/decoration"}, decorations.apply_decoration) + client.onReady().then(() => + client.onNotification( + new NotificationType("PIDE/decoration"), decorations.apply_decoration)) context.subscriptions.push(client.start()); } diff -r 6cbb894181c8 -r d98ede9e5917 src/Tools/VSCode/src/protocol.scala --- a/src/Tools/VSCode/src/protocol.scala Thu Mar 09 21:08:41 2017 +0100 +++ b/src/Tools/VSCode/src/protocol.scala Thu Mar 09 21:09:45 2017 +0100 @@ -1,7 +1,7 @@ /* Title: Tools/VSCode/src/protocol.scala Author: Makarius -Message formats for Language Server Protocol 2.0, see +Message formats for Language Server Protocol 3.0, see https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md */