1 <html xmlns=
"http://www.w3.org/1999/xhtml">
3 <script src=
"../editing.js" language=
"javascript" type=
"text/javascript" ></script>
4 <script language=
"javascript" type=
"text/javascript">
6 var li
= document
.createElement("li");
7 li
.appendChild(document
.createTextNode(str
));
8 var console
= document
.getElementById("console");
9 console
.appendChild(li
);
11 function sendBackwardDeleteKey() {
12 if (window
.eventSender
)
13 eventSender
.keyDown("backspace", null);
15 function runTestOn(platform
) {
16 var testarea
= document
.getElementById("test");
18 internals
.settings
.setEditingBehavior(platform
);
21 moveSelectionForwardByCharacterCommand();
22 moveSelectionForwardByCharacterCommand();
23 sendBackwardDeleteKey();
25 if (testarea
.textContent
== "\u0E27\u0E31")
26 log("Succeeded for " + platform
);
28 log("Failed. Actual: \"" + testarea
.value
+ "\", Expected: \"\u0E27\u0E31\"");
30 function editingTest() {
31 if (window
.testRunner
)
32 testRunner
.dumpAsText();
39 <title>Editing Test (Undo deleting a ligature)
</title>
42 <p>This test tests whether the undo command works when the BackSpace key deletes the last character of a ligature
"วั".
</p>
43 <p>If this test succeeds, you can see
"วั" (U+
0E27,U+
0E31) and a string
"succeeded" for each platform below.
</p>
44 <div id=
"test" contenteditable
>วั</div>
45 <ul id=
"console"></ul>
46 <script language=
"javascript" type=
"text/javascript">