From 8b27cd7bb9c48c008d2867bda136f376af4fb3d2 Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Tue, 21 Jul 2020 19:34:43 +0200
Subject: [PATCH] switch to the corresponding channel on message.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 .../src/browser/tool-output/client-service-impl.ts               | 1 +
 1 file changed, 1 insertion(+)

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);
         });
     }