OLD | NEW |
1 <html> | 1 <html> |
2 <head> | 2 <head> |
3 <style type="text/css" media="screen"> | 3 <style type="text/css" media="screen"> |
4 div { | 4 div { |
5 background: blue; | 5 border-radius: 1px; |
| 6 background-size: 200px 200px; |
6 background-image: url('resources/red-green-animated.gif'); | 7 background-image: url('resources/red-green-animated.gif'); |
7 height: 200px; | 8 height: 200px; |
8 width: 200px; | 9 width: 200px; |
9 } | 10 } |
10 </style> | 11 </style> |
11 <script type="text/javascript" charset="utf-8"> | 12 <script type="text/javascript" charset="utf-8"> |
12 if (window.testRunner) | 13 if (window.testRunner) |
13 testRunner.waitUntilDone(); | 14 testRunner.waitUntilDone(); |
14 | 15 |
15 function pageLoaded() | 16 function pageLoaded() |
16 { | 17 { |
17 testRunner.layoutAndPaintAsyncThen(function () { | 18 testRunner.layoutAndPaintAsyncThen(function () { |
18 window.setTimeout(function() { | 19 window.setTimeout(function() { |
19 if (window.testRunner) | 20 if (window.testRunner) |
20 testRunner.notifyDone(); | 21 testRunner.notifyDone(); |
21 }, 200); // Red frame of GIF has 100ms duration | 22 }, 200); // Red frame of GIF has 100ms duration |
22 }); | 23 }); |
23 } | 24 } |
24 | 25 |
25 window.addEventListener('load', pageLoaded, false); | 26 window.addEventListener('load', pageLoaded, false); |
26 </script> | 27 </script> |
27 </script> | 28 </script> |
28 </head> | 29 </head> |
29 <body> | 30 <body> |
30 <p>Div background should animate between red and green. DRT should snapshot wh
en it is green.</p> | 31 <p>Div background should animate between red and green. DRT should snapshot wh
en it is green.</p> |
31 <div></div> | 32 <div></div> |
32 </body> | 33 </body> |
33 </html> | 34 </html> |
OLD | NEW |