From 2eab9a079286270e1c3570f1dd5da5fedd6ca621 Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Wed, 15 Jul 2020 15:10:43 +0200 Subject: [PATCH] Do not automatically reveal the Output view. Signed-off-by: Akos Kitta --- .../src/browser/tool-output/client-service-impl.ts | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) 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 85140d97..99ae0669 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 @@ -1,7 +1,7 @@ -import { ToolOutputServiceClient } from "../../common/protocol/tool-output-service"; -import { injectable, inject } from "inversify"; -import { OutputChannelManager } from "@theia/output/lib/common/output-channel"; -import { OutputContribution } from "@theia/output/lib/browser/output-contribution"; +import { ToolOutputServiceClient } from '../../common/protocol/tool-output-service'; +import { injectable, inject } from 'inversify'; +import { OutputChannelManager } from '@theia/output/lib/common/output-channel'; +import { OutputContribution } from '@theia/output/lib/browser/output-contribution'; @injectable() export class ToolOutputServiceClientImpl implements ToolOutputServiceClient { @@ -13,9 +13,8 @@ export class ToolOutputServiceClientImpl implements ToolOutputServiceClient { protected readonly outputContribution: OutputContribution; onNewOutput(tool: string, chunk: string): void { - this.outputContribution.openView({ reveal: true }).then(() => { + this.outputContribution.openView().then(() => { const channel = this.outputChannelManager.getChannel(`Arduino: ${tool}`); - channel.setVisibility(true); channel.append(chunk); }); }