| /* |
| * Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| * for details. All rights reserved. Use of this source code is governed by a |
| * BSD-style license that can be found in the LICENSE file. |
| */ |
| /** |
| * @description This test was derived from a real case inside the Mail |
| * application, bug 4598149 |
| */ |
| import "dart:html"; |
| import "../../testcommon.dart"; |
| |
| main() { |
| document.body.setInnerHtml(''' |
| <div id="mydiv">01234</div> |
| ''', treeSanitizer: new NullTreeSanitizer()); |
| |
| 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")); |
| } |
