author | wenzelm |
Wed, 14 Jun 2017 16:03:02 +0200 | |
changeset 66093 | 440112959631 |
parent 66092 | f5595bef6545 |
child 66094 | 24658c9d7c78 |
--- a/src/Tools/VSCode/extension/src/preview.ts Wed Jun 14 14:11:30 2017 +0200 +++ b/src/Tools/VSCode/extension/src/preview.ts Wed Jun 14 16:03:02 2017 +0200 @@ -37,10 +37,9 @@ export function init(context: ExtensionContext, client: LanguageClient) { - language_client = client - context.subscriptions.push(content_provider.register()) + language_client = client language_client.onNotification(protocol.preview_response_type, params => { const preview_uri = encode_preview(Uri.parse(params.uri))