mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-06-17 17:46:33 +00:00

- When new output arrives from the daemon. - Make sure, the current output channel is selected before appending any message to it. Signed-off-by: Akos Kitta <kittaakos@typefox.io>