| <!DOCTYPE html> |
| <html> |
| <head> |
| <style> |
| #search-text { |
| -webkit-user-select: none; |
| } |
| </style> |
| |
| <script src="../editing.js"></script> |
| |
| <script> |
| if (window.testRunner) |
| testRunner.dumpAsText(); |
| |
| function editingTest() { |
| var element = document.getElementById('search-text'); |
| element.focus(); |
| |
| if (window.eventSender) { |
| eventSender.mouseMoveTo(element.offsetLeft, element.offsetTop); |
| eventSender.contextClick(); |
| |
| document.write("PASS. WebKit didn't crash.") |
| } |
| } |
| </script> |
| </head> |
| <body onload=editingTest()> |
| <input id="search-text"> |
| </body> |
| </html> |
