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 |