updated to vscode-languageclient 3.0;
authorwenzelm
Thu Mar 09 21:09:45 2017 +0100 (2017-03-09)
changeset 65165d98ede9e5917
parent 65164 6cbb894181c8
child 65166 f8aafbf2b02e
updated to vscode-languageclient 3.0;
src/Tools/VSCode/extension/package.json
src/Tools/VSCode/extension/src/extension.ts
src/Tools/VSCode/src/protocol.scala
     1.1 --- a/src/Tools/VSCode/extension/package.json	Thu Mar 09 21:08:41 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Thu Mar 09 21:09:45 2017 +0100
     1.3 @@ -156,6 +156,6 @@
     1.4          "@types/mocha": "^2.2.32"
     1.5      },
     1.6      "dependencies": {
     1.7 -        "vscode-languageclient": "^2.6.3"
     1.8 +        "vscode-languageclient": "3.0.x"
     1.9      }
    1.10  }
    1.11 \ No newline at end of file
     2.1 --- a/src/Tools/VSCode/extension/src/extension.ts	Thu Mar 09 21:08:41 2017 +0100
     2.2 +++ b/src/Tools/VSCode/extension/src/extension.ts	Thu Mar 09 21:09:45 2017 +0100
     2.3 @@ -5,7 +5,7 @@
     2.4  import * as os from 'os';
     2.5  import * as decorations from './decorations';
     2.6  import { Decoration } from './decorations'
     2.7 -import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind }
     2.8 +import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind, NotificationType }
     2.9    from 'vscode-languageclient';
    2.10  
    2.11  
    2.12 @@ -41,7 +41,9 @@
    2.13      decorations.init(context)
    2.14      vscode.window.onDidChangeActiveTextEditor(decorations.update_editor)
    2.15      vscode.workspace.onDidCloseTextDocument(decorations.close_document)
    2.16 -    client.onNotification<Decoration>({method: "PIDE/decoration"}, decorations.apply_decoration)
    2.17 +    client.onReady().then(() =>
    2.18 +      client.onNotification(
    2.19 +        new NotificationType<Decoration, void>("PIDE/decoration"), decorations.apply_decoration))
    2.20  
    2.21      context.subscriptions.push(client.start());
    2.22    }
     3.1 --- a/src/Tools/VSCode/src/protocol.scala	Thu Mar 09 21:08:41 2017 +0100
     3.2 +++ b/src/Tools/VSCode/src/protocol.scala	Thu Mar 09 21:09:45 2017 +0100
     3.3 @@ -1,7 +1,7 @@
     3.4  /*  Title:      Tools/VSCode/src/protocol.scala
     3.5      Author:     Makarius
     3.6  
     3.7 -Message formats for Language Server Protocol 2.0, see
     3.8 +Message formats for Language Server Protocol 3.0, see
     3.9  https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md
    3.10  */
    3.11