src/Tools/VSCode/extension/src/extension.ts
changeset 81035 56594fac1dab
parent 81024 d1535ba3b1ca
child 81044 6206f3b2625a
equal deleted inserted replaced
81034:50082e028475 81035:56594fac1dab
   189     })
   189     })
   190 
   190 
   191 
   191 
   192     /* dynamic output */
   192     /* dynamic output */
   193 
   193 
   194     const provider = new Output_View_Provider(context.extensionUri)
   194     const provider = new Output_View_Provider(context.extensionUri, language_client)
   195     context.subscriptions.push(
   195     context.subscriptions.push(
   196       window.registerWebviewViewProvider(Output_View_Provider.view_type, provider))
   196       window.registerWebviewViewProvider(Output_View_Provider.view_type, provider))
   197 
   197 
   198     language_client.onReady().then(() =>
   198     language_client.onReady().then(() =>
   199     {
   199     {