| <head> |
| <meta name="viewport" content="width=device-width, initial-scale=1.0"> |
| <style> |
| body { |
| width: 100%; |
| height: 100%; |
| margin: 0; |
| } |
| |
| #source, #editor { |
| width: 100%; |
| height: 200px; |
| font-size: 200px; |
| white-space: nowrap; |
| } |
| |
| #editor { |
| border: black 1px solid; |
| } |
| </style> |
| </head> |
| |
| <body> |
| <textarea id="source">Hello world</textarea> |
| <input id="editor"></input> |
| <script> |
| function postEventType(event) { |
| webkit.messageHandlers.testHandler.postMessage(event.type); |
| } |
| |
| editor.addEventListener("drop", postEventType); |
| editor.addEventListener("dragenter", postEventType); |
| editor.addEventListener("dragover", postEventType); |
| editor.addEventListener("dragleave", postEventType); |
| editor.addEventListener("dragstart", postEventType); |
| source.selectionStart = 0; |
| source.selectionEnd = source.value.length; |
| </script> |
| </body> |
