From 4b859c2db9540773a6515e42ed46a878697ed817 Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Wed, 29 Jan 2020 17:19:19 +0100
Subject: [PATCH] Added a workaround for a memory leak.

eclipse-theia/theia#7008

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

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 81ad0a85..85140d97 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
@@ -13,7 +13,7 @@ export class ToolOutputServiceClientImpl implements ToolOutputServiceClient {
     protected readonly outputContribution: OutputContribution;
 
     onNewOutput(tool: string, chunk: string): void {
-        this.outputContribution.openView({ activate: true }).then(() => {
+        this.outputContribution.openView({ reveal: true }).then(() => {
             const channel = this.outputChannelManager.getChannel(`Arduino: ${tool}`);
             channel.setVisibility(true);
             channel.append(chunk);