ConsoleOutputStream: replacing \r to \n when printing on IDE console

Author: Federico Fissore

app/src/cc/arduino/ConsoleOutputStream.java

@@ -116,8 +116,9 @@ private void clearBuffer() {
     if (document != null) {
       SwingUtilities.invokeLater(() -> {
         try {
+          String lineWithoutSlashR = line.replace("\r\n", "\n").replace("\r", "\n");
           int offset = document.getLength();
-          document.insertString(offset, line, attributes);
+          document.insertString(offset, lineWithoutSlashR, attributes);
         } catch (BadLocationException ble) {
           //ignore
         }