mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-06-14 08:06:36 +00:00
switch to the corresponding channel on message.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
230bacfd01
commit
8b27cd7bb9
@ -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);
|
||||
});
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user