| OLD | NEW |
| 1 <html> | 1 <html> |
| 2 <head> | 2 <head> |
| 3 <title>Test for http://bugs.webkit.org/show_bug.cgi?id=12079</title> | 3 <title>Test for http://bugs.webkit.org/show_bug.cgi?id=12079</title> |
| 4 <style type="text/css"> | 4 <style type="text/css"> |
| 5 div.playground { position: relative; width: 90px; height: 90px; } | 5 div.playground { position: relative; width: 90px; height: 90px; } |
| 6 .red { background-color: yellow; } | 6 .red { background-color: yellow; } |
| 7 .blue { background-color: blue; } | 7 .blue { background-color: blue; } |
| 8 .green { background-color: green; } | 8 .green { background-color: green; } |
| 9 .zero { height: 0; width: 60px; } | 9 .zero { height: 0; width: 60px; } |
| 10 .half { height: 30px; width: 60px; } | 10 .half { height: 30px; width: 60px; } |
| 11 .full { height: 60px; width: 60px; } | 11 .full { height: 60px; width: 60px; } |
| 12 </style> | 12 </style> |
| 13 <script src="resources/text-based-repaint.js" type="text/javascript"></scrip
t> | 13 <script src="resources/repaint.js" type="text/javascript"></script> |
| 14 <script type="text/javascript"> | 14 <script type="text/javascript"> |
| 15 function repaintTest() | 15 function repaintTest() |
| 16 { | 16 { |
| 17 var div1 = document.getElementById("div1"); | 17 var div1 = document.getElementById("div1"); |
| 18 div1.style.height = "0"; | 18 div1.style.height = "0"; |
| 19 | 19 |
| 20 var div2 = document.getElementById("div2"); | 20 var div2 = document.getElementById("div2"); |
| 21 div2.style.height = "30px"; | 21 div2.style.height = "30px"; |
| 22 | 22 |
| 23 var top = document.getElementById("top"); | 23 var top = document.getElementById("top"); |
| (...skipping 25 matching lines...) Expand all Loading... |
| 49 | 49 |
| 50 <div class="playground" style="margin-top: 30px;"> | 50 <div class="playground" style="margin-top: 30px;"> |
| 51 <div style="width: 10px; margin: auto;"> | 51 <div style="width: 10px; margin: auto;"> |
| 52 <div id="innerDiv"></div> | 52 <div id="innerDiv"></div> |
| 53 </div> | 53 </div> |
| 54 <div class="half"></div> | 54 <div class="half"></div> |
| 55 <div class="half" style="border-top: solid yellow 8px;"></div> | 55 <div class="half" style="border-top: solid yellow 8px;"></div> |
| 56 </div> | 56 </div> |
| 57 </body> | 57 </body> |
| 58 </html> | 58 </html> |
| OLD | NEW |