Wait a bit before resuming serial monitor

Helps in case the bootloader port has not yet disappeared when upload completes successfully.

Author: facchinm

app/src/processing/app/Editor.java

@@ -2091,6 +2091,11 @@ static public boolean isUploading() {
   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) {