| OLD | NEW |
| 1 <html> | 1 <html> |
| 2 <head> | 2 <head> |
| 3 <script> | 3 <script> |
| 4 | 4 |
| 5 if (window.testRunner) | 5 if (window.testRunner) |
| 6 testRunner.dumpAsText(); | 6 testRunner.dumpAsText(); |
| 7 | 7 |
| 8 function run() { | 8 function run() { |
| 9 selection = window.getSelection(); | 9 selection = window.getSelection(); |
| 10 range = document.createRange(); | 10 range = document.createRange(); |
| 11 selection.addRange(range); | 11 selection.addRange(range); |
| 12 | 12 |
| 13 document.designMode = "on"; | 13 document.designMode = "on"; |
| 14 document.execCommand("InsertText", false, 'x'); | 14 document.execCommand("InsertText", false, 'x'); |
| 15 document.open(); | 15 document.open(); |
| 16 document.execCommand("Undo"); | 16 document.execCommand("Undo"); |
| 17 | 17 |
| 18 selection.deleteFromDocument(); | 18 selection.deleteFromDocument(); |
| 19 | 19 |
| 20 document.write('This calling deleteFromDocument after document.open. WebKit
should not crash.<br>'); | 20 document.body.innerHTML = 'This calling deleteFromDocument after document.op
en. WebKit should not crash.<br>PASS'; |
| 21 document.write('PASS<br>'); | |
| 22 } | 21 } |
| 23 </script> | 22 </script> |
| 24 </head> | 23 </head> |
| 25 <body onload="run()"> | 24 <body onload="run()"> |
| 26 </body> | 25 </body> |
| 27 </html> | 26 </html> |
| OLD | NEW |