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 |