| <!-- This test was derived from a real case inside the Mail application, bug 4598149--> | |
| <div id="mydiv">01234</div> | |
| <script src="../../resources/dump-as-markup.js"></script> | |
| <script> | |
| var txt = document.getElementById("mydiv").firstChild; | |
| window.getSelection().setBaseAndExtent(txt, 0, txt, 5) | |
| var r = window.getSelection().getRangeAt(0); | |
| r.deleteContents(); | |
| r.insertNode(document.createElement("div")); | |
| Markup.dump(mydiv); | |
| </script> |