1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-21 15:54:39 +01:00

Serial monitor timestamp: add the arrow ' -> ' to the timestamp format

This saves another "append" call while streaming.
This commit is contained in:
Cristian Maglie 2018-08-22 14:54:02 +02:00 committed by Cristian Maglie
parent 986d67f1d9
commit d97147826e

View File

@ -47,7 +47,7 @@ public abstract class AbstractTextMonitor extends AbstractMonitor {
public AbstractTextMonitor(BoardPort boardPort) { public AbstractTextMonitor(BoardPort boardPort) {
super(boardPort); super(boardPort);
logDateFormat = new SimpleDateFormat("HH:mm:ss.SSS"); logDateFormat = new SimpleDateFormat("HH:mm:ss.SSS -> ");
} }
protected void onCreateWindow(Container mainPane) { protected void onCreateWindow(Container mainPane) {
@ -192,7 +192,6 @@ public abstract class AbstractTextMonitor extends AbstractMonitor {
while (tokenizer.hasMoreTokens()) { while (tokenizer.hasMoreTokens()) {
if (isStartingLine) { if (isStartingLine) {
out.append(now); out.append(now);
out.append(" -> ");
} }
String token = tokenizer.nextToken(); String token = tokenizer.nextToken();
out.append(token); out.append(token);