mirror of
https://github.com/arduino/Arduino.git
synced 2024-11-29 10:24:12 +01:00
triggering onBoardOrPortChange when changing port
This commit is contained in:
parent
6ca0ac737a
commit
3c6f2ced52
@ -959,6 +959,9 @@ public class Editor extends JFrame implements RunnerListener {
|
|||||||
serialMonitor.closeSerialPort();
|
serialMonitor.closeSerialPort();
|
||||||
serialMonitor.setVisible(false);
|
serialMonitor.setVisible(false);
|
||||||
serialMonitor = new SerialMonitor(Preferences.get("serial.port"));
|
serialMonitor = new SerialMonitor(Preferences.get("serial.port"));
|
||||||
|
|
||||||
|
onBoardOrPortChange();
|
||||||
|
|
||||||
//System.out.println("set to " + get("serial.port"));
|
//System.out.println("set to " + get("serial.port"));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user