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 |