update_line.js 7.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188
  1. import { buildLineContent } from "../line/line_data.js"
  2. import { lineNumberFor } from "../line/utils_line.js"
  3. import { ie, ie_version } from "../util/browser.js"
  4. import { elt } from "../util/dom.js"
  5. import { signalLater } from "../util/operation_group.js"
  6. // When an aspect of a line changes, a string is added to
  7. // lineView.changes. This updates the relevant part of the line's
  8. // DOM structure.
  9. export function updateLineForChanges(cm, lineView, lineN, dims) {
  10. for (let j = 0; j < lineView.changes.length; j++) {
  11. let type = lineView.changes[j]
  12. if (type == "text") updateLineText(cm, lineView)
  13. else if (type == "gutter") updateLineGutter(cm, lineView, lineN, dims)
  14. else if (type == "class") updateLineClasses(cm, lineView)
  15. else if (type == "widget") updateLineWidgets(cm, lineView, dims)
  16. }
  17. lineView.changes = null
  18. }
  19. // Lines with gutter elements, widgets or a background class need to
  20. // be wrapped, and have the extra elements added to the wrapper div
  21. function ensureLineWrapped(lineView) {
  22. if (lineView.node == lineView.text) {
  23. lineView.node = elt("div", null, null, "position: relative")
  24. if (lineView.text.parentNode)
  25. lineView.text.parentNode.replaceChild(lineView.node, lineView.text)
  26. lineView.node.appendChild(lineView.text)
  27. if (ie && ie_version < 8) lineView.node.style.zIndex = 2
  28. }
  29. return lineView.node
  30. }
  31. function updateLineBackground(cm, lineView) {
  32. let cls = lineView.bgClass ? lineView.bgClass + " " + (lineView.line.bgClass || "") : lineView.line.bgClass
  33. if (cls) cls += " CodeMirror-linebackground"
  34. if (lineView.background) {
  35. if (cls) lineView.background.className = cls
  36. else { lineView.background.parentNode.removeChild(lineView.background); lineView.background = null }
  37. } else if (cls) {
  38. let wrap = ensureLineWrapped(lineView)
  39. lineView.background = wrap.insertBefore(elt("div", null, cls), wrap.firstChild)
  40. cm.display.input.setUneditable(lineView.background)
  41. }
  42. }
  43. // Wrapper around buildLineContent which will reuse the structure
  44. // in display.externalMeasured when possible.
  45. function getLineContent(cm, lineView) {
  46. let ext = cm.display.externalMeasured
  47. if (ext && ext.line == lineView.line) {
  48. cm.display.externalMeasured = null
  49. lineView.measure = ext.measure
  50. return ext.built
  51. }
  52. return buildLineContent(cm, lineView)
  53. }
  54. // Redraw the line's text. Interacts with the background and text
  55. // classes because the mode may output tokens that influence these
  56. // classes.
  57. function updateLineText(cm, lineView) {
  58. let cls = lineView.text.className
  59. let built = getLineContent(cm, lineView)
  60. if (lineView.text == lineView.node) lineView.node = built.pre
  61. lineView.text.parentNode.replaceChild(built.pre, lineView.text)
  62. lineView.text = built.pre
  63. if (built.bgClass != lineView.bgClass || built.textClass != lineView.textClass) {
  64. lineView.bgClass = built.bgClass
  65. lineView.textClass = built.textClass
  66. updateLineClasses(cm, lineView)
  67. } else if (cls) {
  68. lineView.text.className = cls
  69. }
  70. }
  71. function updateLineClasses(cm, lineView) {
  72. updateLineBackground(cm, lineView)
  73. if (lineView.line.wrapClass)
  74. ensureLineWrapped(lineView).className = lineView.line.wrapClass
  75. else if (lineView.node != lineView.text)
  76. lineView.node.className = ""
  77. let textClass = lineView.textClass ? lineView.textClass + " " + (lineView.line.textClass || "") : lineView.line.textClass
  78. lineView.text.className = textClass || ""
  79. }
  80. function updateLineGutter(cm, lineView, lineN, dims) {
  81. if (lineView.gutter) {
  82. lineView.node.removeChild(lineView.gutter)
  83. lineView.gutter = null
  84. }
  85. if (lineView.gutterBackground) {
  86. lineView.node.removeChild(lineView.gutterBackground)
  87. lineView.gutterBackground = null
  88. }
  89. if (lineView.line.gutterClass) {
  90. let wrap = ensureLineWrapped(lineView)
  91. lineView.gutterBackground = elt("div", null, "CodeMirror-gutter-background " + lineView.line.gutterClass,
  92. `left: ${cm.options.fixedGutter ? dims.fixedPos : -dims.gutterTotalWidth}px; width: ${dims.gutterTotalWidth}px`)
  93. cm.display.input.setUneditable(lineView.gutterBackground)
  94. wrap.insertBefore(lineView.gutterBackground, lineView.text)
  95. }
  96. let markers = lineView.line.gutterMarkers
  97. if (cm.options.lineNumbers || markers) {
  98. let wrap = ensureLineWrapped(lineView)
  99. let gutterWrap = lineView.gutter = elt("div", null, "CodeMirror-gutter-wrapper", `left: ${cm.options.fixedGutter ? dims.fixedPos : -dims.gutterTotalWidth}px`)
  100. cm.display.input.setUneditable(gutterWrap)
  101. wrap.insertBefore(gutterWrap, lineView.text)
  102. if (lineView.line.gutterClass)
  103. gutterWrap.className += " " + lineView.line.gutterClass
  104. if (cm.options.lineNumbers && (!markers || !markers["CodeMirror-linenumbers"]))
  105. lineView.lineNumber = gutterWrap.appendChild(
  106. elt("div", lineNumberFor(cm.options, lineN),
  107. "CodeMirror-linenumber CodeMirror-gutter-elt",
  108. `left: ${dims.gutterLeft["CodeMirror-linenumbers"]}px; width: ${cm.display.lineNumInnerWidth}px`))
  109. if (markers) for (let k = 0; k < cm.options.gutters.length; ++k) {
  110. let id = cm.options.gutters[k], found = markers.hasOwnProperty(id) && markers[id]
  111. if (found)
  112. gutterWrap.appendChild(elt("div", [found], "CodeMirror-gutter-elt",
  113. `left: ${dims.gutterLeft[id]}px; width: ${dims.gutterWidth[id]}px`))
  114. }
  115. }
  116. }
  117. function updateLineWidgets(cm, lineView, dims) {
  118. if (lineView.alignable) lineView.alignable = null
  119. for (let node = lineView.node.firstChild, next; node; node = next) {
  120. next = node.nextSibling
  121. if (node.className == "CodeMirror-linewidget")
  122. lineView.node.removeChild(node)
  123. }
  124. insertLineWidgets(cm, lineView, dims)
  125. }
  126. // Build a line's DOM representation from scratch
  127. export function buildLineElement(cm, lineView, lineN, dims) {
  128. let built = getLineContent(cm, lineView)
  129. lineView.text = lineView.node = built.pre
  130. if (built.bgClass) lineView.bgClass = built.bgClass
  131. if (built.textClass) lineView.textClass = built.textClass
  132. updateLineClasses(cm, lineView)
  133. updateLineGutter(cm, lineView, lineN, dims)
  134. insertLineWidgets(cm, lineView, dims)
  135. return lineView.node
  136. }
  137. // A lineView may contain multiple logical lines (when merged by
  138. // collapsed spans). The widgets for all of them need to be drawn.
  139. function insertLineWidgets(cm, lineView, dims) {
  140. insertLineWidgetsFor(cm, lineView.line, lineView, dims, true)
  141. if (lineView.rest) for (let i = 0; i < lineView.rest.length; i++)
  142. insertLineWidgetsFor(cm, lineView.rest[i], lineView, dims, false)
  143. }
  144. function insertLineWidgetsFor(cm, line, lineView, dims, allowAbove) {
  145. if (!line.widgets) return
  146. let wrap = ensureLineWrapped(lineView)
  147. for (let i = 0, ws = line.widgets; i < ws.length; ++i) {
  148. let widget = ws[i], node = elt("div", [widget.node], "CodeMirror-linewidget")
  149. if (!widget.handleMouseEvents) node.setAttribute("cm-ignore-events", "true")
  150. positionLineWidget(widget, node, lineView, dims)
  151. cm.display.input.setUneditable(node)
  152. if (allowAbove && widget.above)
  153. wrap.insertBefore(node, lineView.gutter || lineView.text)
  154. else
  155. wrap.appendChild(node)
  156. signalLater(widget, "redraw")
  157. }
  158. }
  159. function positionLineWidget(widget, node, lineView, dims) {
  160. if (widget.noHScroll) {
  161. ;(lineView.alignable || (lineView.alignable = [])).push(node)
  162. let width = dims.wrapperWidth
  163. node.style.left = dims.fixedPos + "px"
  164. if (!widget.coverGutter) {
  165. width -= dims.gutterTotalWidth
  166. node.style.paddingLeft = dims.gutterTotalWidth + "px"
  167. }
  168. node.style.width = width + "px"
  169. }
  170. if (widget.coverGutter) {
  171. node.style.zIndex = 5
  172. node.style.position = "relative"
  173. if (!widget.noHScroll) node.style.marginLeft = -dims.gutterTotalWidth + "px"
  174. }
  175. }