| <div id="description">This tests for a bug where deleting a line break would change the size of monospace text. Below you should see "helloworld" all in the same font.</div> |
| <div id="edit" style="font-family:monospace;" contenteditable="true">hello<div id="world">world</div></div> |
| |
| <script> |
| if (window.testRunner) |
| window.testRunner.dumpAsText(); |
| div = document.getElementById("world"); |
| window.getSelection().setPosition(div, 0); |
| document.execCommand("Delete"); |
| if (window.testRunner) |
| document.body.innerText = document.getElementById("description").innerText + "\n" + document.getElementById("edit").innerHTML; |
| </script> |
