| OLD | NEW |
| 1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> |
| 2 <html> | 2 <html> |
| 3 <body> | 3 <body> |
| 4 <div style="width: 1000px; height: 1000px; position: absolute; top: 0; left:
0;"></div> | 4 <div style="width: 1000px; height: 1000px; position: absolute; top: 0; left:
0;"></div> |
| 5 <div style="width: 100px; height: 100px; position: absolute; top: 100px; lef
t: 0; background: green"></div> | 5 <div style="width: 100px; height: 100px; position: absolute; top: 100px; lef
t: 0; background: green"></div> |
| 6 <p> | 6 <p> |
| 7 Test for <i><a href="rdar://problem/6643103">rdar://problem/6643103</a> | 7 Test for <i><a href="rdar://problem/6643103">rdar://problem/6643103</a> |
| 8 Unscaled values from body.scrollHeight</i>. | 8 Unscaled values from body.scrollHeight</i>. |
| 9 </p> | 9 </p> |
| 10 <pre id="console"></pre> | 10 <pre id="console"></pre> |
| 11 <script> | 11 <script> |
| 12 function log(message) | 12 function log(message) |
| 13 { | 13 { |
| 14 var console = document.getElementById("console"); | 14 var console = document.getElementById("console"); |
| 15 console.appendChild(document.createTextNode(message + "\n")); | 15 console.appendChild(document.createTextNode(message + "\n")); |
| 16 } | 16 } |
| 17 | 17 |
| 18 if (window.testRunner) { | 18 if (window.testRunner) { |
| 19 testRunner.dumpAsText(); | 19 testRunner.dumpAsText(); |
| 20 var body = document.body; | 20 var body = document.body; |
| 21 var documentElement = document.documentElement; |
| 21 log("scrollHeight: " + body.scrollHeight); | 22 log("scrollHeight: " + body.scrollHeight); |
| 22 log("scrollWidth: " + body.scrollWidth); | 23 log("scrollWidth: " + body.scrollWidth); |
| 23 | 24 |
| 24 log("\nScrolling right to 50"); | 25 log("\nScrolling right to 50"); |
| 25 body.scrollLeft = 50; | 26 body.scrollLeft = 50; |
| 26 log("scrollLeft: " + body.scrollLeft); | 27 log("scrollLeft: " + documentElement.scrollLeft); |
| 27 | 28 |
| 28 log("\nZooming in"); | 29 log("\nZooming in"); |
| 29 eventSender.zoomPageIn(); | 30 eventSender.zoomPageIn(); |
| 30 log("scrollHeight: " + body.scrollHeight); | 31 log("scrollHeight: " + body.scrollHeight); |
| 31 log("scrollWidth: " + body.scrollWidth); | 32 log("scrollWidth: " + body.scrollWidth); |
| 32 log("scrollTop: " + body.scrollTop); | 33 log("scrollTop: " + documentElement.scrollTop); |
| 33 log("scrollLeft: " + body.scrollLeft); | 34 log("scrollLeft: " + documentElement.scrollLeft); |
| 34 | 35 |
| 35 log("\nScrolling down to 100"); | 36 log("\nScrolling down to 100"); |
| 36 body.scrollTop = 100; | 37 body.scrollTop = 100; |
| 37 log("scrollTop: " + body.scrollTop); | 38 log("scrollTop: " + documentElement.scrollTop); |
| 38 | 39 |
| 39 log("\nZooming back out"); | 40 log("\nZooming back out"); |
| 40 eventSender.zoomPageOut(); | 41 eventSender.zoomPageOut(); |
| 41 log("scrollTop: " + body.scrollTop); | 42 log("scrollTop: " + documentElement.scrollTop); |
| 42 log("scrollLeft: " + body.scrollLeft); | 43 log("scrollLeft: " + documentElement.scrollLeft); |
| 43 } | 44 } |
| 44 </script> | 45 </script> |
| 45 </body> | 46 </body> |
| 46 </html> | 47 </html> |
| OLD | NEW |