optimized echo for single chars during char input read

This commit is contained in:
nathan 2016-05-29 21:42:35 +02:00
parent f67c073867
commit b153be8075

View File

@ -154,9 +154,8 @@ class WindowsTerminal extends Terminal {
OUT.println(); OUT.println();
} }
else { else {
OUT.print(asChar); OUT.write(asChar);
} }
// have to flush, otherwise we'll never see the chars on screen // have to flush, otherwise we'll never see the chars on screen
OUT.flush(); OUT.flush();
} }