| OLD | NEW |
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <html> | 2 <html> |
| 3 <head> | 3 <head> |
| 4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
| 5 <script src="../js/resources/js-test-pre.js"></script> | 5 <script src="../js/resources/js-test-pre.js"></script> |
| 6 <script src="resources/helper.js"></script> | 6 <script src="resources/helper.js"></script> |
| 7 <style> | 7 <style> |
| 8 body { font-family: monospace; } | 8 body { font-family: monospace; } |
| 9 #wrapper { font-size: 30px; } | 9 #wrapper { font-size: 30px; } |
| 10 .border { border: 1px solid red; } | 10 .border { border: 1px solid red; } |
| (...skipping 83 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 94 compareArrays(getRangeAt(range3, 0), ["box1", 0, "box1", 1]); | 94 compareArrays(getRangeAt(range3, 0), ["box1", 0, "box1", 1]); |
| 95 | 95 |
| 96 function hideRegionsAndFlows() { | 96 function hideRegionsAndFlows() { |
| 97 document.getElementById("region1").style.visibility = "hidden"; | 97 document.getElementById("region1").style.visibility = "hidden"; |
| 98 document.getElementById("region2").style.visibility = "hidden"; | 98 document.getElementById("region2").style.visibility = "hidden"; |
| 99 document.getElementById("region3").style.visibility = "hidden"; | 99 document.getElementById("region3").style.visibility = "hidden"; |
| 100 } | 100 } |
| 101 | 101 |
| 102 hideRegionsAndFlows(); | 102 hideRegionsAndFlows(); |
| 103 </script> | 103 </script> |
| 104 <script src="../js/resources/js-test-post.js"></script> | |
| 105 </body> | 104 </body> |
| 106 </html> | 105 </html> |
| OLD | NEW |