From 321f589b0fc98c6de226f79aec3e24d96e849888 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Wed, 2 Dec 2015 16:40:47 +0100
Subject: [PATCH] Reduced "scroll down" timer of ConsoleOutputStream back to
 100ms

---
 app/src/cc/arduino/ConsoleOutputStream.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/cc/arduino/ConsoleOutputStream.java b/app/src/cc/arduino/ConsoleOutputStream.java
index 8b1555a46..452c190b4 100644
--- a/app/src/cc/arduino/ConsoleOutputStream.java
+++ b/app/src/cc/arduino/ConsoleOutputStream.java
@@ -64,7 +64,7 @@ public class ConsoleOutputStream extends ByteArrayOutputStream {
     this.printStream = printStream;
     this.newLinePrinted = false;
 
-    this.timer = new Timer(250, (e) -> {
+    this.timer = new Timer(100, (e) -> {
       if (editorConsole != null && newLinePrinted) {
         editorConsole.scrollDown();
         newLinePrinted = false;