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