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
;