| 1893 | } |
| 1894 | |
| 1895 | function buildCollapsedSpan(builder, size, marker, ignoreWidget) { |
| 1896 | var widget = !ignoreWidget && marker.widgetNode; |
| 1897 | if (widget) { builder.map.push(builder.pos, builder.pos + size, widget); } |
| 1898 | if (!ignoreWidget && builder.cm.display.input.needsContentAttribute) { |
| 1899 | if (!widget) |
| 1900 | { widget = builder.content.appendChild(document.createElement("span")); } |
| 1901 | widget.setAttribute("cm-marker", marker.id); |
| 1902 | } |
| 1903 | if (widget) { |
| 1904 | builder.cm.display.input.setUneditable(widget); |
| 1905 | builder.content.appendChild(widget); |
| 1906 | } |
| 1907 | builder.pos += size; |
| 1908 | builder.trailingSpace = false; |
| 1909 | } |
| 1910 | |
| 1911 | // Outputs a number of spans to make up a line, taking highlighting |
| 1912 | // and marked text into account. |