OLD | NEW |
1 <html> | 1 <html> |
2 <head> | 2 <head> |
3 <script src="resources/text-based-repaint.js" type="text/javascript"></scrip
t> | 3 <script src="resources/text-based-repaint.js" type="text/javascript"></scrip
t> |
4 <script type="text/javascript"> | 4 <script type="text/javascript"> |
5 function repaintTest() | 5 function repaintTest() |
6 { | 6 { |
7 firstLine.appendChild(document.createTextNode("\u00a0")); | 7 firstLine.appendChild(document.createTextNode("\u00a0")); |
8 firstLine.removeChild(firstLine.firstChild); | 8 firstLine.removeChild(firstLine.firstChild); |
9 } | 9 } |
10 </script> | 10 </script> |
11 <style> | 11 <style> |
12 #firstLine { background-color: green; } | 12 #firstLine { background-color: green; } |
13 #firstLine::selection { background-color: green; } | 13 #firstLine::selection { background-color: green; } |
14 </style> | 14 </style> |
15 </head> | 15 </head> |
16 <body onload="runRepaintAndPixelTest();"> | 16 <body onload="runRepaintAndPixelTest();"> |
17 <div id="root" style="width: 100px; line-height: 100px;"> | 17 <div id="root" style="width: 100px; line-height: 100px;"> |
18 <div id="firstLine">FAIL: Test did not run</div><br> | 18 <div id="firstLine">FAIL: Test did not run</div><br> |
19 </div> | 19 </div> |
20 <script> | 20 <script> |
21 var root = document.getElementById("root"); | 21 var root = document.getElementById("root"); |
22 var firstLine = document.getElementById("firstLine"); | 22 var firstLine = document.getElementById("firstLine"); |
23 var selection = getSelection(); | 23 var selection = getSelection(); |
24 | 24 |
25 selection.setBaseAndExtent(firstLine, 0, root.lastChild, 0); | 25 selection.setBaseAndExtent(firstLine, 0, root.lastChild, 0); |
26 </script> | 26 </script> |
27 </body> | 27 </body> |
28 | 28 |
29 | 29 |
OLD | NEW |