82ab5395da96b547071dcb683ecd8097b337b5ecb80ed297bfa82c94c7b6a4a2aa08e0c929e672e43d0dc911aa1a369d37a66ca798e55a837c42e16ba069ee 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130
  1. import { drawSelectionCursor } from "../display/selection.js"
  2. import { operation } from "../display/operations.js"
  3. import { clipPos } from "../line/pos.js"
  4. import { posFromMouse } from "../measurement/position_measurement.js"
  5. import { eventInWidget } from "../measurement/widgets.js"
  6. import { makeChange, replaceRange } from "../model/changes.js"
  7. import { changeEnd } from "../model/change_measurement.js"
  8. import { simpleSelection } from "../model/selection.js"
  9. import { setSelectionNoUndo, setSelectionReplaceHistory } from "../model/selection_updates.js"
  10. import { ie, presto, safari } from "../util/browser.js"
  11. import { elt, removeChildrenAndAdd } from "../util/dom.js"
  12. import { e_preventDefault, e_stop, signalDOMEvent } from "../util/event.js"
  13. import { indexOf } from "../util/misc.js"
  14. // Kludge to work around strange IE behavior where it'll sometimes
  15. // re-fire a series of drag-related events right after the drop (#1551)
  16. let lastDrop = 0
  17. export function onDrop(e) {
  18. let cm = this
  19. clearDragCursor(cm)
  20. if (signalDOMEvent(cm, e) || eventInWidget(cm.display, e))
  21. return
  22. e_preventDefault(e)
  23. if (ie) lastDrop = +new Date
  24. let pos = posFromMouse(cm, e, true), files = e.dataTransfer.files
  25. if (!pos || cm.isReadOnly()) return
  26. // Might be a file drop, in which case we simply extract the text
  27. // and insert it.
  28. if (files && files.length && window.FileReader && window.File) {
  29. let n = files.length, text = Array(n), read = 0
  30. const markAsReadAndPasteIfAllFilesAreRead = () => {
  31. if (++read == n) {
  32. operation(cm, () => {
  33. pos = clipPos(cm.doc, pos)
  34. let change = {from: pos, to: pos,
  35. text: cm.doc.splitLines(
  36. text.filter(t => t != null).join(cm.doc.lineSeparator())),
  37. origin: "paste"}
  38. makeChange(cm.doc, change)
  39. setSelectionReplaceHistory(cm.doc, simpleSelection(clipPos(cm.doc, pos), clipPos(cm.doc, changeEnd(change))))
  40. })()
  41. }
  42. }
  43. const readTextFromFile = (file, i) => {
  44. if (cm.options.allowDropFileTypes &&
  45. indexOf(cm.options.allowDropFileTypes, file.type) == -1) {
  46. markAsReadAndPasteIfAllFilesAreRead()
  47. return
  48. }
  49. let reader = new FileReader
  50. reader.onerror = () => markAsReadAndPasteIfAllFilesAreRead()
  51. reader.onload = () => {
  52. let content = reader.result
  53. if (/[\x00-\x08\x0e-\x1f]{2}/.test(content)) {
  54. markAsReadAndPasteIfAllFilesAreRead()
  55. return
  56. }
  57. text[i] = content
  58. markAsReadAndPasteIfAllFilesAreRead()
  59. }
  60. reader.readAsText(file)
  61. }
  62. for (let i = 0; i < files.length; i++) readTextFromFile(files[i], i)
  63. } else { // Normal drop
  64. // Don't do a replace if the drop happened inside of the selected text.
  65. if (cm.state.draggingText && cm.doc.sel.contains(pos) > -1) {
  66. cm.state.draggingText(e)
  67. // Ensure the editor is re-focused
  68. setTimeout(() => cm.display.input.focus(), 20)
  69. return
  70. }
  71. try {
  72. let text = e.dataTransfer.getData("Text")
  73. if (text) {
  74. let selected
  75. if (cm.state.draggingText && !cm.state.draggingText.copy)
  76. selected = cm.listSelections()
  77. setSelectionNoUndo(cm.doc, simpleSelection(pos, pos))
  78. if (selected) for (let i = 0; i < selected.length; ++i)
  79. replaceRange(cm.doc, "", selected[i].anchor, selected[i].head, "drag")
  80. cm.replaceSelection(text, "around", "paste")
  81. cm.display.input.focus()
  82. }
  83. }
  84. catch(e){}
  85. }
  86. }
  87. export function onDragStart(cm, e) {
  88. if (ie && (!cm.state.draggingText || +new Date - lastDrop < 100)) { e_stop(e); return }
  89. if (signalDOMEvent(cm, e) || eventInWidget(cm.display, e)) return
  90. e.dataTransfer.setData("Text", cm.getSelection())
  91. e.dataTransfer.effectAllowed = "copyMove"
  92. // Use dummy image instead of default browsers image.
  93. // Recent Safari (~6.0.2) have a tendency to segfault when this happens, so we don't do it there.
  94. if (e.dataTransfer.setDragImage && !safari) {
  95. let img = elt("img", null, null, "position: fixed; left: 0; top: 0;")
  96. img.src = "data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw=="
  97. if (presto) {
  98. img.width = img.height = 1
  99. cm.display.wrapper.appendChild(img)
  100. // Force a relayout, or Opera won't use our image for some obscure reason
  101. img._top = img.offsetTop
  102. }
  103. e.dataTransfer.setDragImage(img, 0, 0)
  104. if (presto) img.parentNode.removeChild(img)
  105. }
  106. }
  107. export function onDragOver(cm, e) {
  108. let pos = posFromMouse(cm, e)
  109. if (!pos) return
  110. let frag = document.createDocumentFragment()
  111. drawSelectionCursor(cm, pos, frag)
  112. if (!cm.display.dragCursor) {
  113. cm.display.dragCursor = elt("div", null, "CodeMirror-cursors CodeMirror-dragcursors")
  114. cm.display.lineSpace.insertBefore(cm.display.dragCursor, cm.display.cursorDiv)
  115. }
  116. removeChildrenAndAdd(cm.display.dragCursor, frag)
  117. }
  118. export function clearDragCursor(cm) {
  119. if (cm.display.dragCursor) {
  120. cm.display.lineSpace.removeChild(cm.display.dragCursor)
  121. cm.display.dragCursor = null
  122. }
  123. }