mirror of
https://github.com/remko/waforth
synced 2024-12-26 09:59:09 +01:00
shell: Flush output on paste
This commit is contained in:
parent
744320055d
commit
e896b5d7bc
1 changed files with 2 additions and 1 deletions
|
@ -96,7 +96,8 @@ function startConsole() {
|
|||
inputbuffer = [];
|
||||
}
|
||||
if (newInputBuffer.length > 0) {
|
||||
output(newInputBuffer.join(""));
|
||||
output(newInputBuffer.join(""), true);
|
||||
flush();
|
||||
}
|
||||
inputbuffer = newInputBuffer;
|
||||
});
|
||||
|
|
Loading…
Reference in a new issue