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