5
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
6
<title>Emscripten-Generated Code</title>
8
.emscripten { padding-right: 0; margin-left: auto; margin-right: auto; display: block; }
9
textarea.emscripten { font-family: monospace; width: 80%; }
10
div.emscripten { text-align: center; }
11
div.emscripten_border { border: 1px solid black; }
12
/* the canvas *must not* have any border or padding, or mouse coords will be wrong */
13
canvas.emscripten { border: 0px none; }
17
<div class="emscripten" id="status">Downloading...</div>
18
<div class="emscripten">
19
<progress value="0" max="100" id="progress" hidden=1></progress>
21
<div class="emscripten_border" style="display:none;">
22
<canvas class="emscripten" id="canvas" oncontextmenu="event.preventDefault()"></canvas>
24
<div class="emscripten" style="display:none;">
25
<input type="checkbox" id="resize">Resize canvas
26
<input type="checkbox" id="pointerLock" checked>Lock/hide mouse pointer
28
<input type="button" value="Fullscreen" onclick="Module.requestFullScreen(document.getElementById('pointerLock').checked,
29
document.getElementById('resize').checked)">
33
<textarea class="emscripten" id="output" rows="45"></textarea>
35
<script type='text/javascript'>
41
var element = document.getElementById('output');
42
element.value = ''; // clear browser cache
43
return function(text) {
44
text = Array.prototype.slice.call(arguments).join(' ');
45
// These replacements are necessary if you render to raw HTML
46
//text = text.replace(/&/g, "&");
47
//text = text.replace(/</g, "<");
48
//text = text.replace(/>/g, ">");
49
//text = text.replace('\n', '<br>', 'g');
50
element.value += text + "\n";
51
element.scrollTop = 99999; // focus on bottom
54
printErr: function(text) {
55
text = Array.prototype.slice.call(arguments).join(' ');
56
if (0) { // XXX disabled for safety typeof dump == 'function') {
57
dump(text + '\n'); // fast, straight to the real console
62
canvas: document.getElementById('canvas'),
63
setStatus: function(text) {
64
if (Module.setStatus.interval) clearInterval(Module.setStatus.interval);
65
var m = text.match(/([^(]+)\((\d+(\.\d+)?)\/(\d+)\)/);
66
var statusElement = document.getElementById('status');
67
var progressElement = document.getElementById('progress');
70
progressElement.value = parseInt(m[2])*100;
71
progressElement.max = parseInt(m[4])*100;
72
progressElement.hidden = false;
74
progressElement.value = null;
75
progressElement.max = null;
76
progressElement.hidden = true;
78
statusElement.innerHTML = text;
81
monitorRunDependencies: function(left) {
82
this.totalDependencies = Math.max(this.totalDependencies, left);
83
Module.setStatus(left ? 'Preparing... (' + (this.totalDependencies-left) + '/' + this.totalDependencies + ')' : 'All downloads complete.');
86
Module.setStatus('Downloading...');
88
<script type='text/javascript'>