(cm, e)
| 3918 | } |
| 3919 | |
| 3920 | function onDragOver(cm, e) { |
| 3921 | var pos = posFromMouse(cm, e); |
| 3922 | if (!pos) return; |
| 3923 | var frag = document.createDocumentFragment(); |
| 3924 | drawSelectionCursor(cm, pos, frag); |
| 3925 | if (!cm.display.dragCursor) { |
| 3926 | cm.display.dragCursor = elt("div", null, "CodeMirror-cursors CodeMirror-dragcursors"); |
| 3927 | cm.display.lineSpace.insertBefore(cm.display.dragCursor, cm.display.cursorDiv); |
| 3928 | } |
| 3929 | removeChildrenAndAdd(cm.display.dragCursor, frag); |
| 3930 | } |
| 3931 | |
| 3932 | function clearDragCursor(cm) { |
| 3933 | if (cm.display.dragCursor) { |
no test coverage detected