diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/shell.html | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/shell.html b/src/shell.html index 79b7e9b9..31ac8c9c 100644 --- a/src/shell.html +++ b/src/shell.html @@ -4,26 +4,23 @@ <body> <center> <canvas id='canvas' width='256' height='256'></canvas> + <hr> + <textarea id="output" style="font-family: monospace; width: 80%" rows="8" readonly></textarea> + <hr> + <div id='status'></div> </center> <hr> - <div id='output'></div> - <hr> - <center><div id='status'></div></center> - <hr> <script type='text/javascript'> // connect to canvas 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'); - if (printBuffer.length > 10) printBuffer.shift(); - printBuffer.push(text); - element.innerHTML = printBuffer.join('<br>'); + element.value += text + "\n"; }; })(), canvas: document.getElementById('canvas'), |