diff options
| -rw-r--r-- | src/shell.html | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/shell.html b/src/shell.html index 11970241..2f83f9f9 100644 --- a/src/shell.html +++ b/src/shell.html @@ -8,6 +8,8 @@ <hr> <div id='output'></div> <hr> + <center><div id='status'></div></center> + <hr> <script type='text/javascript'> // connect to canvas var Module = { @@ -21,10 +23,15 @@ element.innerHTML += text + '<br>'; }; })(), - canvas: document.getElementById('canvas') + canvas: document.getElementById('canvas'), + totalDependencies: 0, + monitorRunDependencies: function(left) { + this.totalDependencies = Math.max(this.totalDependencies, left); + document.getElementById('status').innerHTML = left ? 'Downloading files: ' + (this.totalDependencies-left) + '/' + this.totalDependencies : + 'All downloads complete.'; + } }; - // The compiled code {{{ SCRIPT_CODE }}} </script> </body> |