(cm, e)
| 111 | } |
| 112 | |
| 113 | export function onDragOver(cm, e) { |
| 114 | let pos = posFromMouse(cm, e) |
| 115 | if (!pos) return |
| 116 | let frag = document.createDocumentFragment() |
| 117 | drawSelectionCursor(cm, pos, frag) |
| 118 | if (!cm.display.dragCursor) { |
| 119 | cm.display.dragCursor = elt("div", null, "CodeMirror-cursors CodeMirror-dragcursors") |
| 120 | cm.display.lineSpace.insertBefore(cm.display.dragCursor, cm.display.cursorDiv) |
| 121 | } |
| 122 | removeChildrenAndAdd(cm.display.dragCursor, frag) |
| 123 | } |
| 124 | |
| 125 | export function clearDragCursor(cm) { |
| 126 | if (cm.display.dragCursor) { |
no test coverage detected