mirror of https://github.com/noisymime/Arduino.git
Merge pull request #3185 from ffissore/board-port-cut-off
Cut off board/port name when greater than 50
This commit is contained in:
commit
281fc68304
|
@ -801,7 +801,7 @@ public class Editor extends JFrame implements RunnerListener {
|
|||
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);
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue