1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00

Increase SerialMonitor reopening timeout to 10 seconds

This commit is contained in:
Martino Facchin 2015-11-13 16:54:08 +01:00
parent ab61ab92fd
commit 10e8480d3d

View File

@ -84,7 +84,7 @@ import static processing.app.I18n.tr;
@SuppressWarnings("serial")
public class Editor extends JFrame implements RunnerListener {
public static final int MAX_TIME_AWAITING_FOR_RESUMING_SERIAL_MONITOR = 5000;
public static final int MAX_TIME_AWAITING_FOR_RESUMING_SERIAL_MONITOR = 10000;
private final Platform platform;
private JMenu recentSketchesMenu;