Halved "scroll down" timer of ConsoleOutputStream

Author: Federico Fissore

app/src/cc/arduino/ConsoleOutputStream.java

@@ -64,7 +64,7 @@ public ConsoleOutputStream(SimpleAttributeSet attributes, PrintStream printStrea
     this.printStream = printStream;
     this.newLinePrinted = false;
 
-    this.timer = new Timer(500, (e) -> {
+    this.timer = new Timer(250, (e) -> {
       if (editorConsole != null && newLinePrinted) {
         editorConsole.scrollDown();
         newLinePrinted = false;