| OLD | NEW |
| 1 <html> | 1 <html> |
| 2 <body onload="onLoad()"> | 2 <body onload="onLoad()"> |
| 3 <script> | 3 <script> |
| 4 | 4 |
| 5 function log(message) { | 5 function log(message) { |
| 6 var div = document.createElement('div'); | 6 var div = document.createElement('div'); |
| 7 div.innerText = message; | 7 div.innerText = message; |
| 8 document.getElementById('console').appendChild(div); | 8 document.getElementById('console').appendChild(div); |
| 9 } | 9 } |
| 10 | 10 |
| (...skipping 82 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 93 <button onclick="causeError()">Cause Error</button> | 93 <button onclick="causeError()">Cause Error</button> |
| 94 <li id="s9"><button onclick="stopWorker()">Stop Worker</button></li> | 94 <li id="s9"><button onclick="stopWorker()">Stop Worker</button></li> |
| 95 | 95 |
| 96 </ol> | 96 </ol> |
| 97 | 97 |
| 98 <div id="console" style="font-family: courier; background-color: black; color: g
reen; width: 80em; height: 25em; overflow: scroll"> | 98 <div id="console" style="font-family: courier; background-color: black; color: g
reen; width: 80em; height: 25em; overflow: scroll"> |
| 99 </div> | 99 </div> |
| 100 | 100 |
| 101 </body> | 101 </body> |
| 102 </html> | 102 </html> |
| OLD | NEW |