From bb629d1ba026ab76e1521357cd1f1a148f5e5585 Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Tue, 10 Mar 2020 18:39:28 +0100
Subject: [PATCH] Wait a bit before resuming serial monitor

Helps in case the bootloader port has not yet disappeared when upload completes successfully.
---
 app/src/processing/app/Editor.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index 338404e25..f0c7c1924 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -2091,6 +2091,11 @@ public class Editor extends JFrame implements RunnerListener {
   private void resumeOrCloseSerialMonitor() {
     // Return the serial monitor window to its initial state
     if (serialMonitor != null) {
+      try {
+        Thread.sleep(200);
+      } catch (InterruptedException e) {
+          // noop
+      }
       BoardPort boardPort = BaseNoGui.getDiscoveryManager().find(PreferencesData.get("serial.port"));
       long sleptFor = 0;
       while (boardPort == null && sleptFor < MAX_TIME_AWAITING_FOR_RESUMING_SERIAL_MONITOR) {