Cut off board/port name at 50 instead of 16. Fixes #3104

Federico Fissore · Federico Fissore · commit 8ee35d0c52a5 · 2015-05-19T19:47:51.000+02:00
diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
@@ -801,7 +801,7 @@ public void menuSelected(MenuEvent e) {
             if (sel == null) {
               if (!name.equals(basename)) menu.setText(basename);
             } else {
-              if (sel.length() > 17) sel = sel.substring(0, 16) + "...";
+              if (sel.length() > 50) sel = sel.substring(0, 50) + "...";
               String newname = basename + ": \"" + sel + "\"";
               if (!name.equals(newname)) menu.setText(newname);
             }

Original file line number	Diff line number	Diff line change
`@@ -801,7 +801,7 @@ public void menuSelected(MenuEvent e) {`
`801`	`801`	`if (sel == null) {`
`802`	`802`	`if (!name.equals(basename)) menu.setText(basename);`
`803`	`803`	`} else {`
`804`		`- if (sel.length() > 17) sel = sel.substring(0, 16) + "...";`
	`804`	`+ if (sel.length() > 50) sel = sel.substring(0, 50) + "...";`
`805`	`805`	`String newname = basename + ": \"" + sel + "\"";`
`806`	`806`	`if (!name.equals(newname)) menu.setText(newname);`
`807`	`807`	`}`