equal
deleted
inserted
replaced
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 { |