diff options
Diffstat (limited to 'extension/src/activation/activate.ts')
| -rw-r--r-- | extension/src/activation/activate.ts | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/extension/src/activation/activate.ts b/extension/src/activation/activate.ts index c46d6362..fe72eaf6 100644 --- a/extension/src/activation/activate.ts +++ b/extension/src/activation/activate.ts @@ -21,10 +21,7 @@ export let extensionContext: vscode.ExtensionContext | undefined = undefined; export let ideProtocolClient: IdeProtocolClient; -export async function activateExtension( - context: vscode.ExtensionContext, - showTutorial: boolean -) { +export async function activateExtension(context: vscode.ExtensionContext) { extensionContext = context; // Before anything else, check whether this is an out-of-date version of the extension |