| OLD | NEW |
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <body style="background: ; width: 800px; height: 2000px;"> | 2 <body style="background: ; width: 800px; height: 2000px;"> |
| 3 </body> | 3 </body> |
| 4 <script src="resources/text-based-repaint.js" type="text/javascript"></script> | 4 <script src="resources/repaint.js" type="text/javascript"></script> |
| 5 <script> | 5 <script> |
| 6 // Tests that repaint when changing a document background image invalidates the
whole document, not just the part that is visible on the screen. | 6 // Tests that repaint when changing a document background image invalidates the
whole document, not just the part that is visible on the screen. |
| 7 | 7 |
| 8 function repaintTest() { | 8 function repaintTest() { |
| 9 document.body.style.background = 'url(resources/ducky.png)'; | 9 document.body.style.background = 'url(resources/ducky.png)'; |
| 10 } | 10 } |
| 11 runRepaintTest(); | 11 runRepaintTest(); |
| 12 </script> | 12 </script> |
| OLD | NEW |