From 050a642edfc193c610df337938ed0c075e38d719 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 11 May 2015 10:58:22 +0200
Subject: [PATCH] Disabled port type fake menu entry. Fixes #3113

---
 app/src/processing/app/Editor.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index 0e02270fe..74805fdd2 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -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();