From 384a7a034b4780002dc18ac43fb2ad3923a06d38 Mon Sep 17 00:00:00 2001 From: 4086606 <82655227+4086606@users.noreply.github.com> Date: Sun, 20 Jun 2021 15:24:33 +0100 Subject: [PATCH] Apply terminal provider type checks Using definitions from microsoft/vscode#125849 --- terminal-sample/src/extension.ts | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/terminal-sample/src/extension.ts b/terminal-sample/src/extension.ts index b726bb16..08553b82 100644 --- a/terminal-sample/src/extension.ts +++ b/terminal-sample/src/extension.ts @@ -182,10 +182,12 @@ export function activate(context: vscode.ExtensionContext) { })); context.subscriptions.push(vscode.window.registerTerminalProfileProvider('terminalTest.terminal-profile', { - provideTerminalProfile(token: vscode.CancellationToken): vscode.ProviderResult { + provideTerminalProfile(token: vscode.CancellationToken): vscode.ProviderResult { return { - name: 'Terminal API Profile', - shellPath: process.env.shell || 'C:/Windows/System32/cmd.exe' + options: { + name: 'Terminal API', + shellPath: process.env.shell || 'C:/Windows/System32/cmd.exe' + } }; } }));