(builder, size, marker, ignoreWidget)
| 4652 | } |
| 4653 | |
| 4654 | function buildCollapsedSpan(builder, size, marker, ignoreWidget) { |
| 4655 | var widget = !ignoreWidget && marker.replacedWith; |
| 4656 | if (widget) { |
| 4657 | if (builder.copyWidgets) widget = widget.cloneNode(true); |
| 4658 | builder.pre.appendChild(widget); |
| 4659 | if (builder.measure) { |
| 4660 | if (size) { |
| 4661 | builder.measure[builder.pos] = widget; |
| 4662 | } else { |
| 4663 | var elt = zeroWidthElement(builder.cm.display.measure); |
| 4664 | if (marker.type == "bookmark" && !marker.insertLeft) |
| 4665 | builder.measure[builder.pos] = builder.pre.appendChild(elt); |
| 4666 | else if (builder.measure[builder.pos]) |
| 4667 | return; |
| 4668 | else |
| 4669 | builder.measure[builder.pos] = builder.pre.insertBefore(elt, widget); |
| 4670 | } |
| 4671 | builder.measuredSomething = true; |
| 4672 | } |
| 4673 | } |
| 4674 | builder.pos += size; |
| 4675 | } |
| 4676 | |
| 4677 | // Outputs a number of spans to make up a line, taking highlighting |
| 4678 | // and marked text into account. |
no test coverage detected