| <!DOCTYPE html> |
| <html> |
| |
| <head> |
| <meta charset="EUC-JP"> |
| <script> |
| |
| if (window.testRunner) |
| testRunner.dumpAsText(); |
| |
| function test() |
| { |
| var backslashDivElement = document.getElementById("backslash"); |
| getSelection().extend(backslashDivElement, 1); |
| document.execCommand("Transpose"); |
| |
| // 92 is the char code of a backslash. |
| var backslash = 92; |
| if (backslash == backslashDivElement.innerHTML.charCodeAt(0) && backslash == backslashDivElement.innerHTML.charCodeAt(1)) |
| document.getElementById("result").innerHTML = "PASS"; |
| } |
| |
| </script> |
| </head> |
| |
| <body onload="test()"> |
| |
| <div id="backslash" contentEditable="true">\\</div> |
| |
| <div id="result">FAIL</div> |
| |
| </body> |
| |
| </html> |
