18328946bcc09c188e5ab4f9af11fdc6a6b5321b8fb3d197d9af8a8ae8696da6a1bb29884ca5785bf7f4bdedb3054b12a02f81ec4b03b9af4194ed683288fe 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267
  1. import { sawCollapsedSpans } from "../line/saw_special_spans.js"
  2. import { heightAtLine, visualLineEndNo, visualLineNo } from "../line/spans.js"
  3. import { getLine, lineNumberFor } from "../line/utils_line.js"
  4. import { displayHeight, displayWidth, getDimensions, paddingVert, scrollGap } from "../measurement/position_measurement.js"
  5. import { mac, webkit } from "../util/browser.js"
  6. import { activeElt, removeChildren, contains, win, root, rootNode } from "../util/dom.js"
  7. import { hasHandler, signal } from "../util/event.js"
  8. import { signalLater } from "../util/operation_group.js"
  9. import { indexOf } from "../util/misc.js"
  10. import { buildLineElement, updateLineForChanges } from "./update_line.js"
  11. import { startWorker } from "./highlight_worker.js"
  12. import { maybeUpdateLineNumberWidth } from "./line_numbers.js"
  13. import { measureForScrollbars, updateScrollbars } from "./scrollbars.js"
  14. import { updateSelection } from "./selection.js"
  15. import { updateHeightsInViewport, visibleLines } from "./update_lines.js"
  16. import { adjustView, countDirtyView, resetView } from "./view_tracking.js"
  17. // DISPLAY DRAWING
  18. export class DisplayUpdate {
  19. constructor(cm, viewport, force) {
  20. let display = cm.display
  21. this.viewport = viewport
  22. // Store some values that we'll need later (but don't want to force a relayout for)
  23. this.visible = visibleLines(display, cm.doc, viewport)
  24. this.editorIsHidden = !display.wrapper.offsetWidth
  25. this.wrapperHeight = display.wrapper.clientHeight
  26. this.wrapperWidth = display.wrapper.clientWidth
  27. this.oldDisplayWidth = displayWidth(cm)
  28. this.force = force
  29. this.dims = getDimensions(cm)
  30. this.events = []
  31. }
  32. signal(emitter, type) {
  33. if (hasHandler(emitter, type))
  34. this.events.push(arguments)
  35. }
  36. finish() {
  37. for (let i = 0; i < this.events.length; i++)
  38. signal.apply(null, this.events[i])
  39. }
  40. }
  41. export function maybeClipScrollbars(cm) {
  42. let display = cm.display
  43. if (!display.scrollbarsClipped && display.scroller.offsetWidth) {
  44. display.nativeBarWidth = display.scroller.offsetWidth - display.scroller.clientWidth
  45. display.heightForcer.style.height = scrollGap(cm) + "px"
  46. display.sizer.style.marginBottom = -display.nativeBarWidth + "px"
  47. display.sizer.style.borderRightWidth = scrollGap(cm) + "px"
  48. display.scrollbarsClipped = true
  49. }
  50. }
  51. function selectionSnapshot(cm) {
  52. if (cm.hasFocus()) return null
  53. let active = activeElt(root(cm))
  54. if (!active || !contains(cm.display.lineDiv, active)) return null
  55. let result = {activeElt: active}
  56. if (window.getSelection) {
  57. let sel = win(cm).getSelection()
  58. if (sel.anchorNode && sel.extend && contains(cm.display.lineDiv, sel.anchorNode)) {
  59. result.anchorNode = sel.anchorNode
  60. result.anchorOffset = sel.anchorOffset
  61. result.focusNode = sel.focusNode
  62. result.focusOffset = sel.focusOffset
  63. }
  64. }
  65. return result
  66. }
  67. function restoreSelection(snapshot) {
  68. if (!snapshot || !snapshot.activeElt || snapshot.activeElt == activeElt(rootNode(snapshot.activeElt))) return
  69. snapshot.activeElt.focus()
  70. if (!/^(INPUT|TEXTAREA)$/.test(snapshot.activeElt.nodeName) &&
  71. snapshot.anchorNode && contains(document.body, snapshot.anchorNode) && contains(document.body, snapshot.focusNode)) {
  72. let doc = snapshot.activeElt.ownerDocument
  73. let sel = doc.defaultView.getSelection(), range = doc.createRange()
  74. range.setEnd(snapshot.anchorNode, snapshot.anchorOffset)
  75. range.collapse(false)
  76. sel.removeAllRanges()
  77. sel.addRange(range)
  78. sel.extend(snapshot.focusNode, snapshot.focusOffset)
  79. }
  80. }
  81. // Does the actual updating of the line display. Bails out
  82. // (returning false) when there is nothing to be done and forced is
  83. // false.
  84. export function updateDisplayIfNeeded(cm, update) {
  85. let display = cm.display, doc = cm.doc
  86. if (update.editorIsHidden) {
  87. resetView(cm)
  88. return false
  89. }
  90. // Bail out if the visible area is already rendered and nothing changed.
  91. if (!update.force &&
  92. update.visible.from >= display.viewFrom && update.visible.to <= display.viewTo &&
  93. (display.updateLineNumbers == null || display.updateLineNumbers >= display.viewTo) &&
  94. display.renderedView == display.view && countDirtyView(cm) == 0)
  95. return false
  96. if (maybeUpdateLineNumberWidth(cm)) {
  97. resetView(cm)
  98. update.dims = getDimensions(cm)
  99. }
  100. // Compute a suitable new viewport (from & to)
  101. let end = doc.first + doc.size
  102. let from = Math.max(update.visible.from - cm.options.viewportMargin, doc.first)
  103. let to = Math.min(end, update.visible.to + cm.options.viewportMargin)
  104. if (display.viewFrom < from && from - display.viewFrom < 20) from = Math.max(doc.first, display.viewFrom)
  105. if (display.viewTo > to && display.viewTo - to < 20) to = Math.min(end, display.viewTo)
  106. if (sawCollapsedSpans) {
  107. from = visualLineNo(cm.doc, from)
  108. to = visualLineEndNo(cm.doc, to)
  109. }
  110. let different = from != display.viewFrom || to != display.viewTo ||
  111. display.lastWrapHeight != update.wrapperHeight || display.lastWrapWidth != update.wrapperWidth
  112. adjustView(cm, from, to)
  113. display.viewOffset = heightAtLine(getLine(cm.doc, display.viewFrom))
  114. // Position the mover div to align with the current scroll position
  115. cm.display.mover.style.top = display.viewOffset + "px"
  116. let toUpdate = countDirtyView(cm)
  117. if (!different && toUpdate == 0 && !update.force && display.renderedView == display.view &&
  118. (display.updateLineNumbers == null || display.updateLineNumbers >= display.viewTo))
  119. return false
  120. // For big changes, we hide the enclosing element during the
  121. // update, since that speeds up the operations on most browsers.
  122. let selSnapshot = selectionSnapshot(cm)
  123. if (toUpdate > 4) display.lineDiv.style.display = "none"
  124. patchDisplay(cm, display.updateLineNumbers, update.dims)
  125. if (toUpdate > 4) display.lineDiv.style.display = ""
  126. display.renderedView = display.view
  127. // There might have been a widget with a focused element that got
  128. // hidden or updated, if so re-focus it.
  129. restoreSelection(selSnapshot)
  130. // Prevent selection and cursors from interfering with the scroll
  131. // width and height.
  132. removeChildren(display.cursorDiv)
  133. removeChildren(display.selectionDiv)
  134. display.gutters.style.height = display.sizer.style.minHeight = 0
  135. if (different) {
  136. display.lastWrapHeight = update.wrapperHeight
  137. display.lastWrapWidth = update.wrapperWidth
  138. startWorker(cm, 400)
  139. }
  140. display.updateLineNumbers = null
  141. return true
  142. }
  143. export function postUpdateDisplay(cm, update) {
  144. let viewport = update.viewport
  145. for (let first = true;; first = false) {
  146. if (!first || !cm.options.lineWrapping || update.oldDisplayWidth == displayWidth(cm)) {
  147. // Clip forced viewport to actual scrollable area.
  148. if (viewport && viewport.top != null)
  149. viewport = {top: Math.min(cm.doc.height + paddingVert(cm.display) - displayHeight(cm), viewport.top)}
  150. // Updated line heights might result in the drawn area not
  151. // actually covering the viewport. Keep looping until it does.
  152. update.visible = visibleLines(cm.display, cm.doc, viewport)
  153. if (update.visible.from >= cm.display.viewFrom && update.visible.to <= cm.display.viewTo)
  154. break
  155. } else if (first) {
  156. update.visible = visibleLines(cm.display, cm.doc, viewport)
  157. }
  158. if (!updateDisplayIfNeeded(cm, update)) break
  159. updateHeightsInViewport(cm)
  160. let barMeasure = measureForScrollbars(cm)
  161. updateSelection(cm)
  162. updateScrollbars(cm, barMeasure)
  163. setDocumentHeight(cm, barMeasure)
  164. update.force = false
  165. }
  166. update.signal(cm, "update", cm)
  167. if (cm.display.viewFrom != cm.display.reportedViewFrom || cm.display.viewTo != cm.display.reportedViewTo) {
  168. update.signal(cm, "viewportChange", cm, cm.display.viewFrom, cm.display.viewTo)
  169. cm.display.reportedViewFrom = cm.display.viewFrom; cm.display.reportedViewTo = cm.display.viewTo
  170. }
  171. }
  172. export function updateDisplaySimple(cm, viewport) {
  173. let update = new DisplayUpdate(cm, viewport)
  174. if (updateDisplayIfNeeded(cm, update)) {
  175. updateHeightsInViewport(cm)
  176. postUpdateDisplay(cm, update)
  177. let barMeasure = measureForScrollbars(cm)
  178. updateSelection(cm)
  179. updateScrollbars(cm, barMeasure)
  180. setDocumentHeight(cm, barMeasure)
  181. update.finish()
  182. }
  183. }
  184. // Sync the actual display DOM structure with display.view, removing
  185. // nodes for lines that are no longer in view, and creating the ones
  186. // that are not there yet, and updating the ones that are out of
  187. // date.
  188. function patchDisplay(cm, updateNumbersFrom, dims) {
  189. let display = cm.display, lineNumbers = cm.options.lineNumbers
  190. let container = display.lineDiv, cur = container.firstChild
  191. function rm(node) {
  192. let next = node.nextSibling
  193. // Works around a throw-scroll bug in OS X Webkit
  194. if (webkit && mac && cm.display.currentWheelTarget == node)
  195. node.style.display = "none"
  196. else
  197. node.parentNode.removeChild(node)
  198. return next
  199. }
  200. let view = display.view, lineN = display.viewFrom
  201. // Loop over the elements in the view, syncing cur (the DOM nodes
  202. // in display.lineDiv) with the view as we go.
  203. for (let i = 0; i < view.length; i++) {
  204. let lineView = view[i]
  205. if (lineView.hidden) {
  206. } else if (!lineView.node || lineView.node.parentNode != container) { // Not drawn yet
  207. let node = buildLineElement(cm, lineView, lineN, dims)
  208. container.insertBefore(node, cur)
  209. } else { // Already drawn
  210. while (cur != lineView.node) cur = rm(cur)
  211. let updateNumber = lineNumbers && updateNumbersFrom != null &&
  212. updateNumbersFrom <= lineN && lineView.lineNumber
  213. if (lineView.changes) {
  214. if (indexOf(lineView.changes, "gutter") > -1) updateNumber = false
  215. updateLineForChanges(cm, lineView, lineN, dims)
  216. }
  217. if (updateNumber) {
  218. removeChildren(lineView.lineNumber)
  219. lineView.lineNumber.appendChild(document.createTextNode(lineNumberFor(cm.options, lineN)))
  220. }
  221. cur = lineView.node.nextSibling
  222. }
  223. lineN += lineView.size
  224. }
  225. while (cur) cur = rm(cur)
  226. }
  227. export function updateGutterSpace(display) {
  228. let width = display.gutters.offsetWidth
  229. display.sizer.style.marginLeft = width + "px"
  230. // Send an event to consumers responding to changes in gutter width.
  231. signalLater(display, "gutterChanged", display)
  232. }
  233. export function setDocumentHeight(cm, measure) {
  234. cm.display.sizer.style.minHeight = measure.docHeight + "px"
  235. cm.display.heightForcer.style.top = measure.docHeight + "px"
  236. cm.display.gutters.style.height = (measure.docHeight + cm.display.barHeight + scrollGap(cm)) + "px"
  237. }