From b26f7b39919a6c8c1e2db19575cf3ebd4b049f67 Mon Sep 17 00:00:00 2001 From: 4086606 <82655227+4086606@users.noreply.github.com> Date: Wed, 16 Jun 2021 10:49:52 +0100 Subject: [PATCH] [nit] Fix terminal profile IDs --- terminal-sample/package.json | 2 +- terminal-sample/src/extension.ts | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/terminal-sample/package.json b/terminal-sample/package.json index 4f901ce9..f3c9d4cd 100644 --- a/terminal-sample/package.json +++ b/terminal-sample/package.json @@ -36,7 +36,7 @@ "onCommand:terminalTest.terminals", "onCommand:terminalTest.updateEnvironment", "onCommand:terminalTest.clearEnvironment", - "onTerminalProfile:terminalTest.profile" + "onTerminalProfile:terminalTest.terminal-profile" ], "main": "./out/extension.js", "contributes": { diff --git a/terminal-sample/src/extension.ts b/terminal-sample/src/extension.ts index 23879339..b726bb16 100644 --- a/terminal-sample/src/extension.ts +++ b/terminal-sample/src/extension.ts @@ -181,7 +181,7 @@ export function activate(context: vscode.ExtensionContext) { }); })); - context.subscriptions.push(vscode.window.registerTerminalProfileProvider('terminalTest.profile', { + context.subscriptions.push(vscode.window.registerTerminalProfileProvider('terminalTest.terminal-profile', { provideTerminalProfile(token: vscode.CancellationToken): vscode.ProviderResult { return { name: 'Terminal API Profile',