OLD | NEW |
1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
2 <html> | 2 <html> |
3 <body> | 3 <body> |
4 <script src="../../fast/js/resources/js-test-pre.js"></script> | 4 <script src="../../fast/js/resources/js-test-pre.js"></script> |
5 <script id="script1"> | 5 <script id="script1"> |
6 document.addEventListener("DOMCharacterDataModified",function(){ | 6 document.addEventListener("DOMCharacterDataModified",function(){ |
7 document.body.innerHTML = "PASS. WebKit didn't crash."; | 7 document.body.innerHTML = "PASS. WebKit didn't crash."; |
8 gc(); | 8 gc(); |
9 finishJSTest(); | 9 finishJSTest(); |
10 },true); | 10 },true); |
11 </script> | 11 </script> |
12 <script> | 12 <script> |
13 window.jsTestIsAsync = true; | 13 window.jsTestIsAsync = true; |
14 | 14 |
15 if (window.layoutTestController) | 15 if (window.layoutTestController) |
16 layoutTestController.waitUntilDone(); | 16 layoutTestController.waitUntilDone(); |
17 | 17 |
18 var scriptElement = document.getElementById('script1'); | 18 var scriptElement = document.getElementById('script1'); |
19 scriptElement.parentNode.appendChild(scriptElement.firstChild); | 19 scriptElement.parentNode.appendChild(scriptElement.firstChild); |
20 scriptElement.parentNode.removeChild(scriptElement); | 20 scriptElement.parentNode.removeChild(scriptElement); |
21 document.designMode = "on"; | 21 document.designMode = "on"; |
22 document.execCommand("SelectAll"); | 22 document.execCommand("SelectAll"); |
23 document.execCommand("FontSizeDelta", false, 3); | 23 document.execCommand("FontSizeDelta", false, 3); |
24 </script> | 24 </script> |
25 <script src="../../fast/js/resources/js-test-post.js"></script> | 25 <script src="../../fast/js/resources/js-test-post.js"></script> |
26 </body> | 26 </body> |
27 </html> | 27 </html> |
28 | 28 |
OLD | NEW |