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 |