| OLD | NEW | 
|---|
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> | 
| 2 <style> | 2 <style> | 
| 3 | 3 | 
| 4 html { | 4 html { | 
| 5     height: 100%; | 5     height: 100%; | 
| 6 } | 6 } | 
| 7 | 7 | 
| 8 body { | 8 body { | 
| 9     margin: 1.0em; | 9     margin: 1.0em; | 
| 10     font-family: Helvetica, sans-serif; | 10     font-family: Helvetica, sans-serif; | 
| (...skipping 217 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 228     var log = document.getElementById('log'); | 228     var log = document.getElementById('log'); | 
| 229     var testList = JSON.stringify(getTests()); | 229     var testList = JSON.stringify(getTests()); | 
| 230     var logText = document.createElement('p'); | 230     var logText = document.createElement('p'); | 
| 231     logText.innerHTML = 'Re running the tests'; | 231     logText.innerHTML = 'Re running the tests'; | 
| 232     logText.className = 'test-run'; | 232     logText.className = 'test-run'; | 
| 233     var stdioIframe = document.createElement("IFRAME"); | 233     var stdioIframe = document.createElement("IFRAME"); | 
| 234     stdioIframe.style.display = 'none'; | 234     stdioIframe.style.display = 'none'; | 
| 235     stdioIframe.width = window.innerWidth; | 235     stdioIframe.width = window.innerWidth; | 
| 236     stdioIframe.height = '100px'; | 236     stdioIframe.height = '100px'; | 
| 237     stdioIframe.onload = function () { | 237     stdioIframe.onload = function () { | 
| 238             stdioIframe.contentWindow.scrollTo(0,stdioIframe.contentWindow.docum
     ent.body.scrollHeight); | 238             stdioIframe.contentWindow.scrollTo(0,stdioIframe.contentWindow.docum
     ent.scrollingElement.scrollHeight); | 
| 239     } | 239     } | 
| 240     var stdio = document.createElement("a"); | 240     var stdio = document.createElement("a"); | 
| 241     stdio.innerHTML = '<p>stdio<p>'; | 241     stdio.innerHTML = '<p>stdio<p>'; | 
| 242     stdio.className = 'stdio-href'; | 242     stdio.className = 'stdio-href'; | 
| 243     stdio.onclick = function() { | 243     stdio.onclick = function() { | 
| 244         if(stdioIframe.style.display == 'none') | 244         if(stdioIframe.style.display == 'none') | 
| 245             stdioIframe.style.display = 'block'; | 245             stdioIframe.style.display = 'block'; | 
| 246         else | 246         else | 
| 247             stdioIframe.style.display = 'none'; | 247             stdioIframe.style.display = 'none'; | 
| 248 | 248 | 
| (...skipping 106 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 355 <body onload="generatePage()"> | 355 <body onload="generatePage()"> | 
| 356     <h1>Dashboard</h1> | 356     <h1>Dashboard</h1> | 
| 357     <div id=log class="log"></div> | 357     <div id=log class="log"></div> | 
| 358     <div class="toolbox"> | 358     <div class="toolbox"> | 
| 359         <button onclick=rerun() class="rerun-button">Re Run Tests</button> | 359         <button onclick=rerun() class="rerun-button">Re Run Tests</button> | 
| 360         <input type="text" id=applyfilter oninput="applyfilter()" placeholder="S
     earch via regular expression"></input> | 360         <input type="text" id=applyfilter oninput="applyfilter()" placeholder="S
     earch via regular expression"></input> | 
| 361         <span id=searchcount></span> | 361         <span id=searchcount></span> | 
| 362     </div> | 362     </div> | 
| 363 </body> | 363 </body> | 
| 364 </html> | 364 </html> | 
| OLD | NEW | 
|---|