1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
<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>
|
