mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
New behaviour: if upload failed or we are uploading through a "Programming" port (that does not disappear), leave the user selected port selected. if upload succeded and we are using 1200bps touch, wait for the first port that reappears, and if nothing reappears after the timeout select the bootloader port. Fixes #https://github.com/arduino/Arduino/issues/3495