Function onDragOver

external/.scrollLibs.js:8891–8903

(cm, e)

  }

  function onDragOver(cm, e) {
    var pos = posFromMouse(cm, e)
    if (!pos) {
      return
    }
    var frag = document.createDocumentFragment()
    drawSelectionCursor(cm, pos, frag)
    if (!cm.display.dragCursor) {
      cm.display.dragCursor = elt("div", null, "CodeMirror-cursors CodeMirror-dragcursors")
      cm.display.lineSpace.insertBefore(cm.display.dragCursor, cm.display.cursorDiv)
    }
    removeChildrenAndAdd(cm.display.dragCursor, frag)
  }

  function clearDragCursor(cm) {
    if (cm.display.dragCursor) {