diff --git a/arduino-ide-extension/src/browser/tool-output/client-service-impl.ts b/arduino-ide-extension/src/browser/tool-output/client-service-impl.ts index 99ae0669..d4dfc26c 100644 --- a/arduino-ide-extension/src/browser/tool-output/client-service-impl.ts +++ b/arduino-ide-extension/src/browser/tool-output/client-service-impl.ts @@ -15,6 +15,7 @@ export class ToolOutputServiceClientImpl implements ToolOutputServiceClient { onNewOutput(tool: string, chunk: string): void { this.outputContribution.openView().then(() => { const channel = this.outputChannelManager.getChannel(`Arduino: ${tool}`); + channel.show(); channel.append(chunk); }); }