rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-30 19:52:13 +01:00
Code Issues Releases Activity

Reduced "scroll down" timer of ConsoleOutputStream back to 100ms

Browse Source
This commit is contained in:
Federico Fissore 2015-12-02 16:40:47 +01:00
parent 309c8c1fe8
commit 321f589b0f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/src/cc/arduino/ConsoleOutputStream.java
View File

@ -64,7 +64,7 @@ public class ConsoleOutputStream extends ByteArrayOutputStream {
this.printStream = printStream; this.printStream = printStream;
this.newLinePrinted = false; this.newLinePrinted = false;
this.timer = new Timer(250, (e) -> { this.timer = new Timer(100, (e) -> {
if (editorConsole != null && newLinePrinted) { if (editorConsole != null && newLinePrinted) {
editorConsole.scrollDown(); editorConsole.scrollDown();
newLinePrinted = false; newLinePrinted = false;