rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00
Code Issues Releases Activity

Halved "scroll down" timer of ConsoleOutputStream

Browse Source
This commit is contained in:
Federico Fissore 2015-12-01 16:39:17 +01:00
parent 1e074cce42
commit f9c80816aa
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.newLinePrinted = false;
this.timer = new Timer(500, (e) -> {
this.timer = new Timer(250, (e) -> {
if (editorConsole != null && newLinePrinted) {
editorConsole.scrollDown();
newLinePrinted = false;