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

Disabled port type fake menu entry. Fixes #3113

This commit is contained in:
Federico Fissore 2015-05-11 10:58:22 +02:00
parent e8c4980c4e
commit 050a642edf

View File

@ -1119,7 +1119,9 @@ public class Editor extends JFrame implements RunnerListener {
} else {
lastProtocolTranslated = port.getProtocol();
}
serialMenu.add(new JMenuItem(_(lastProtocolTranslated)));
JMenuItem lastProtocolMenuItem = new JMenuItem(_(lastProtocolTranslated));
lastProtocolMenuItem.setEnabled(false);
serialMenu.add(lastProtocolMenuItem);
}
String address = port.getAddress();
String label = port.getLabel();