(line, builder, styles)
| 5805 | // Outputs a number of spans to make up a line, taking highlighting |
| 5806 | // and marked text into account. |
| 5807 | function insertLineContent(line, builder, styles) { |
| 5808 | var spans = line.markedSpans, allText = line.text, at = 0; |
| 5809 | if (!spans) { |
| 5810 | for (var i = 1; i < styles.length; i+=2) |
| 5811 | builder.addToken(builder, allText.slice(at, at = styles[i]), interpretTokenStyle(styles[i+1], builder.cm.options)); |
| 5812 | return; |
| 5813 | } |
| 5814 | |
| 5815 | var len = allText.length, pos = 0, i = 1, text = "", style; |
| 5816 | var nextChange = 0, spanStyle, spanEndStyle, spanStartStyle, title, collapsed; |
| 5817 | for (;;) { |
| 5818 | if (nextChange == pos) { // Update current marker set |
| 5819 | spanStyle = spanEndStyle = spanStartStyle = title = ""; |
| 5820 | collapsed = null; nextChange = Infinity; |
| 5821 | var foundBookmarks = []; |
| 5822 | for (var j = 0; j < spans.length; ++j) { |
| 5823 | var sp = spans[j], m = sp.marker; |
| 5824 | if (sp.from <= pos && (sp.to == null || sp.to > pos)) { |
| 5825 | if (sp.to != null && nextChange > sp.to) { nextChange = sp.to; spanEndStyle = ""; } |
| 5826 | if (m.className) spanStyle += " " + m.className; |
| 5827 | if (m.startStyle && sp.from == pos) spanStartStyle += " " + m.startStyle; |
| 5828 | if (m.endStyle && sp.to == nextChange) spanEndStyle += " " + m.endStyle; |
| 5829 | if (m.title && !title) title = m.title; |
| 5830 | if (m.collapsed && (!collapsed || compareCollapsedMarkers(collapsed.marker, m) < 0)) |
| 5831 | collapsed = sp; |
| 5832 | } else if (sp.from > pos && nextChange > sp.from) { |
| 5833 | nextChange = sp.from; |
| 5834 | } |
| 5835 | if (m.type == "bookmark" && sp.from == pos && m.widgetNode) foundBookmarks.push(m); |
| 5836 | } |
| 5837 | if (collapsed && (collapsed.from || 0) == pos) { |
| 5838 | buildCollapsedSpan(builder, (collapsed.to == null ? len + 1 : collapsed.to) - pos, |
| 5839 | collapsed.marker, collapsed.from == null); |
| 5840 | if (collapsed.to == null) return; |
| 5841 | } |
| 5842 | if (!collapsed && foundBookmarks.length) for (var j = 0; j < foundBookmarks.length; ++j) |
| 5843 | buildCollapsedSpan(builder, 0, foundBookmarks[j]); |
| 5844 | } |
| 5845 | if (pos >= len) break; |
| 5846 | |
| 5847 | var upto = Math.min(len, nextChange); |
| 5848 | while (true) { |
| 5849 | if (text) { |
| 5850 | var end = pos + text.length; |
| 5851 | if (!collapsed) { |
| 5852 | var tokenText = end > upto ? text.slice(0, upto - pos) : text; |
| 5853 | builder.addToken(builder, tokenText, style ? style + spanStyle : spanStyle, |
| 5854 | spanStartStyle, pos + tokenText.length == nextChange ? spanEndStyle : "", title); |
| 5855 | } |
| 5856 | if (end >= upto) {text = text.slice(upto - pos); pos = upto; break;} |
| 5857 | pos = end; |
| 5858 | spanStartStyle = ""; |
| 5859 | } |
| 5860 | text = allText.slice(at, at = styles[i++]); |
| 5861 | style = interpretTokenStyle(styles[i++], builder.cm.options); |
| 5862 | } |
| 5863 | } |
| 5864 | } |
no test coverage detected