git @ Cat's Eye Technologies Pail / 437404f
Create installation element with script. Chris Pressey 3 years ago
2 changed file(s) with 7 addition(s) and 7 deletion(s). Raw diff Collapse all Expand all
0 document.getElementById('installation').innerHTML = (
1 '<textarea id="prog" rows="10" cols="80"></textarea>' +
2 '<div><button id="run-button">Run</button></div>' +
3 '<pre id="result"></pre>'
4 );
88
99 <p>(Pail.hs compiled to .js by Haste, running in HTML5 document)</p>
1010
11 <textarea id="prog" rows="10" cols="80"></textarea>
11 <div id="installation"></div>
1212
13 <div>
14 <button id="run-button">Run</button>
15 </div>
16
17 <pre id="result">
18
13 <script src="pail-hastec-launcher.js"></script>
1914 <script src="pail.js"></script>
2015 </body>