1 <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>
2 <div id="edit" style="font-family:monospace;" contenteditable="true">hello<div id="world">world</div></div>
6 window.testRunner.dumpAsText();
7 div = document.getElementById("world");
8 window.getSelection().collapse(div, 0);
9 document.execCommand("Delete");
10 if (window.testRunner)
11 document.body.innerText = document.getElementById("description").innerText + "\n" + document.getElementById("edit").innerHTML;