1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-29 18:52:13 +01:00

Also updating serial port display from "Serial port not found" dialog.

This commit is contained in:
David A. Mellis 2011-08-24 11:55:24 -04:00
parent 91a94cbe7e
commit 0020105283

View File

@ -2317,6 +2317,7 @@ public class Editor extends JFrame implements RunnerListener {
0);
if (result == null) return false;
selectSerialPort(result);
base.onBoardOrPortChange();
return true;
}