| 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> | |
| 14 <script type="text/javascript"> | |
| 15 function repaintTest() | |
| 16 { | |
| 17 var div1 = document.getElementById("div1"); | |
| 18 div1.style.height = "0"; | |
| 19 | |
| 20 var div2 = document.getElementById("div2"); | |
| 21 div2.style.height = "30px"; | |
| 22 | |
| 23 var top = document.getElementById("top"); | |
| 24 top.style.height = "0"; | |
| 25 | |
| 26 var top = document.getElementById("innerDiv"); | |
| 27 innerDiv.style.height = "15px"; | |
| 28 } | |
| 29 </script> | |
| 30 </head> | 13 </head> |
| 31 <body onload="runRepaintTest()"> | 14 <body> |
| 32 <div class="playground"> | 15 <div class="playground"> |
| 33 <div id="div1" class="blue half"></div> | 16 <div id="div1" class="blue zero"></div> |
| 34 <div class="red half"></div> | 17 <div class="red half"></div> |
| 35 <div class="green half"></div> | 18 <div class="green half"></div> |
| 36 </div> | 19 </div> |
| 37 | 20 |
| 38 <div class="playground"> | 21 <div class="playground"> |
| 39 <div><div id="top" class="blue half"></div></div> | 22 <div><div id="top" class="blue zero"></div></div> |
| 40 <div class="red half"></div> | 23 <div class="red half"></div> |
| 41 <div class="green half"></div> | 24 <div class="green half"></div> |
| 42 </div> | 25 </div> |
| 43 | 26 |
| 44 <div class="playground"> | 27 <div class="playground"> |
| 45 <div id="div2" class="zero"></div> | 28 <div id="div2" class="half"></div> |
| 46 <div class="green half"></div> | 29 <div class="green half"></div> |
| 47 <div class="red half"></div> | 30 <div class="red half"></div> |
| 48 </div> | 31 </div> |
| 49 | 32 |
| 50 <div class="playground" style="margin-top: 30px;"> | 33 <div class="playground" style="margin-top: 30px;"> |
| 51 <div style="width: 10px; margin: auto;"> | 34 <div style="width: 10px; margin: auto;"> |
| 52 <div id="innerDiv"></div> | 35 <div id="innerDiv" style="height: 15px"></div> |
| 53 </div> | 36 </div> |
| 54 <div class="half"></div> | 37 <div class="half"></div> |
| 55 <div class="half" style="border-top: solid yellow 8px;"></div> | 38 <div class="half" style="border-top: solid yellow 8px;"></div> |
| 56 </div> | 39 </div> |
| 57 </body> | 40 </body> |
| 58 </html> | 41 </html> |
| OLD | NEW |