From 968c538849558c87a11b036f6d6c502297c68a66 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Thu, 18 Apr 2013 11:21:07 +0200
Subject: [PATCH] "Serial Port" is not just "Port"

---
 app/src/processing/app/Editor.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index 1dff6316f..b2e61cad2 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -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();