mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-26 20:54:22 +01:00
Merge d17e1ef87545c50f2107fde944622e20d916fa75 into 3278173ef810935e07808deed58783c1bc7ca4cf
This commit is contained in:
commit
de1a257ca2
@ -888,9 +888,7 @@ public class BaseNoGui {
|
|||||||
// then trim any other character (\r) so saveStrings can print it in the correct
|
// then trim any other character (\r) so saveStrings can print it in the correct
|
||||||
// format for every OS
|
// format for every OS
|
||||||
String strArray[] = str.split("\n");
|
String strArray[] = str.split("\n");
|
||||||
for (String item : strArray) {
|
Arrays.parallelSetAll(strArray, i -> strArray[i].trim());
|
||||||
item.trim();
|
|
||||||
}
|
|
||||||
PApplet.saveStrings(temp, strArray);
|
PApplet.saveStrings(temp, strArray);
|
||||||
|
|
||||||
try {
|
try {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user