# HG changeset patch # User wenzelm # Date 1497448982 -7200 # Node ID 4401129596319a9c27b16e4d6410516a816a299b # Parent f5595bef65459da2737b6d5972ab2e4705e66378 tuned; diff -r f5595bef6545 -r 440112959631 src/Tools/VSCode/extension/src/preview.ts --- 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))