Carriage return is not properly handled by EditorConsole, better replace it with a new line

Federico Fissore · Federico Fissore · commit 77c3d3eaa8ac · 2015-11-03T13:17:26.000+01:00
diff --git a/app/src/processing/app/EditorConsole.java b/app/src/processing/app/EditorConsole.java
@@ -126,6 +126,7 @@ public boolean isEmpty() {
   }
 
   public void insertString(String line, SimpleAttributeSet attributes) throws BadLocationException {
+    line = line.replace("\r\n", "\n").replace("\r", "\n");
     int offset = document.getLength();
     document.insertString(offset, line, attributes);
   }

Original file line number	Diff line number	Diff line change
`@@ -126,6 +126,7 @@ public boolean isEmpty() {`
`126`	`126`	`}`
`127`	`127`
`128`	`128`	`public void insertString(String line, SimpleAttributeSet attributes) throws BadLocationException {`
	`129`	`+ line = line.replace("\r\n", "\n").replace("\r", "\n");`
`129`	`130`	`int offset = document.getLength();`
`130`	`131`	`document.insertString(offset, line, attributes);`
`131`	`132`	`}`