diff options
Diffstat (limited to 'src/shell.html')
-rw-r--r-- | src/shell.html | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/shell.html b/src/shell.html index 2f83f9f9..79b7e9b9 100644 --- a/src/shell.html +++ b/src/shell.html @@ -15,12 +15,15 @@ var Module = { print: (function() { var element = document.getElementById('output'); + var printBuffer = []; return function(text) { text = text.replace(/&/g, "&"); text = text.replace(/</g, "<"); text = text.replace(/>/g, ">"); text = text.replace('\n', '<br>', 'g'); - element.innerHTML += text + '<br>'; + if (printBuffer.length > 10) printBuffer.shift(); + printBuffer.push(text); + element.innerHTML = printBuffer.join('<br>'); }; })(), canvas: document.getElementById('canvas'), |