| <html> |
| <head> |
| <script> |
| |
| if (window.testRunner) |
| testRunner.dumpAsText(); |
| |
| function run() { |
| selection = window.getSelection(); |
| range = document.createRange(); |
| selection.addRange(range); |
| |
| document.designMode = "on"; |
| document.execCommand("InsertText", false, 'x'); |
| document.open(); |
| document.execCommand("Undo"); |
| |
| selection.deleteFromDocument(); |
| |
| document.write('This calling deleteFromDocument after document.open. WebKit should not crash.<br>'); |
| document.write('PASS<br>'); |
| } |
| </script> |
| </head> |
| <body onload="run()"> |
| </body> |
| </html> |
