From 77c3d3eaa8ac5965fe3ebbf72cb80d58e6212462 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Tue, 3 Nov 2015 13:17:26 +0100
Subject: [PATCH] Carriage return is not properly handled by EditorConsole,
 better replace it with a new line

---
 app/src/processing/app/EditorConsole.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/processing/app/EditorConsole.java b/app/src/processing/app/EditorConsole.java
index ffa124639..f39f98cb8 100644
--- a/app/src/processing/app/EditorConsole.java
+++ b/app/src/processing/app/EditorConsole.java
@@ -126,6 +126,7 @@ public class EditorConsole extends JScrollPane {
   }
 
   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);
   }