mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-30 19:52:13 +01:00
Fixed EditorConsole new-line regression.
Now EditorConsole starts a newline also when a CR character is read from command output.
This commit is contained in:
parent
15f3d1f8e7
commit
6eef453944
@ -206,7 +206,7 @@ class BufferedStyledDocument extends DefaultStyledDocument {
|
|||||||
char c = chars[stop];
|
char c = chars[stop];
|
||||||
stop++;
|
stop++;
|
||||||
currentLineLength++;
|
currentLineLength++;
|
||||||
if (c == '\n' || currentLineLength > maxLineLength) {
|
if (c == '\n' || c == '\r' || currentLineLength > maxLineLength) {
|
||||||
elements.add(new ElementSpec(a, ElementSpec.ContentType, chars, start,
|
elements.add(new ElementSpec(a, ElementSpec.ContentType, chars, start,
|
||||||
stop - start));
|
stop - start));
|
||||||
elements.add(new ElementSpec(a, ElementSpec.EndTagType));
|
elements.add(new ElementSpec(a, ElementSpec.EndTagType));
|
||||||
|
Loading…
x
Reference in New Issue
Block a user