| 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; } |
| (...skipping 10 matching lines...) Expand all Loading... |
| 21 div2.style.height = "30px"; | 21 div2.style.height = "30px"; |
| 22 | 22 |
| 23 var top = document.getElementById("top"); | 23 var top = document.getElementById("top"); |
| 24 top.style.height = "0"; | 24 top.style.height = "0"; |
| 25 | 25 |
| 26 var top = document.getElementById("innerDiv"); | 26 var top = document.getElementById("innerDiv"); |
| 27 innerDiv.style.height = "15px"; | 27 innerDiv.style.height = "15px"; |
| 28 } | 28 } |
| 29 </script> | 29 </script> |
| 30 </head> | 30 </head> |
| 31 <body onload="runRepaintTest()"> | 31 <body onload="runRepaintAndPixelTest()"> |
| 32 <div class="playground"> | 32 <div class="playground"> |
| 33 <div id="div1" class="blue half"></div> | 33 <div id="div1" class="blue half"></div> |
| 34 <div class="red half"></div> | 34 <div class="red half"></div> |
| 35 <div class="green half"></div> | 35 <div class="green half"></div> |
| 36 </div> | 36 </div> |
| 37 | 37 |
| 38 <div class="playground"> | 38 <div class="playground"> |
| 39 <div><div id="top" class="blue half"></div></div> | 39 <div><div id="top" class="blue half"></div></div> |
| 40 <div class="red half"></div> | 40 <div class="red half"></div> |
| 41 <div class="green half"></div> | 41 <div class="green half"></div> |
| 42 </div> | 42 </div> |
| 43 | 43 |
| 44 <div class="playground"> | 44 <div class="playground"> |
| 45 <div id="div2" class="zero"></div> | 45 <div id="div2" class="zero"></div> |
| 46 <div class="green half"></div> | 46 <div class="green half"></div> |
| 47 <div class="red half"></div> | 47 <div class="red half"></div> |
| 48 </div> | 48 </div> |
| 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 |