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 editingTest() {
16 if (window
.testRunner
)
17 window
.testRunner
.dumpAsText();
18 var textarea
= document
.getElementById("test");
20 typeCharacterCommand(String
.fromCharCode(0x0E27));
21 typeCharacterCommand(String
.fromCharCode(0x0E31));
22 sendBackwardDeleteKey();
23 if (textarea
.value
== "\u0E27")
26 log("Failed. Actual: \"" + textarea
.value
+ "\", Expected: \"\u0E27\"");
29 <title>Editing Test (Deleting a ligature)
</title>
32 <p>This test tests whether the BackSpace key deletes only the last character of a ligature
"วั".
</p>
33 <p>If this test succeeds, you can see
"ว" (U+
0E27) and a string
"succeeded" below.
</p>
34 <textarea id=
"test" rows=
"1" cols=
"40"></textarea>
35 <ul id=
"console"></ul>
36 <script language=
"javascript" type=
"text/javascript">