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

"Serial Port" is not just "Port"

This commit is contained in:
Federico Fissore 2013-04-18 11:21:07 +02:00
parent 79952e9691
commit 968c538849

View File

@ -709,7 +709,7 @@ public class Editor extends JFrame implements RunnerListener {
}
if (serialMenu == null)
serialMenu = new JMenu(_("Serial Port"));
serialMenu = new JMenu(_("Port"));
populateSerialMenu();
menu.add(serialMenu);
menu.addSeparator();