1 <p>This tests for a crash on Undo. You should see an empty input field below.
</p>
2 <input type=
"text" id=
"input">
6 window
.testRunner
.dumpAsText();
7 document
.getElementById("input").focus();
8 document
.execCommand("InsertText", false, "x");
9 document
.execCommand("Undo");