changeset 66097 | ee4c2d5b650e |
parent 66093 | 440112959631 |
child 71473 | be84312a2d53 |
--- a/src/Tools/VSCode/extension/src/preview.ts Fri Jun 16 16:21:17 2017 +0200 +++ b/src/Tools/VSCode/extension/src/preview.ts Fri Jun 16 20:44:36 2017 +0200 @@ -31,11 +31,11 @@ } -/* init */ +/* setup */ let language_client: LanguageClient -export function init(context: ExtensionContext, client: LanguageClient) +export function setup(context: ExtensionContext, client: LanguageClient) { context.subscriptions.push(content_provider.register())