(builder, size, marker, ignoreWidget)
| 5794 | } |
| 5795 | |
| 5796 | function buildCollapsedSpan(builder, size, marker, ignoreWidget) { |
| 5797 | var widget = !ignoreWidget && marker.widgetNode; |
| 5798 | if (widget) { |
| 5799 | builder.map.push(builder.pos, builder.pos + size, widget); |
| 5800 | builder.content.appendChild(widget); |
| 5801 | } |
| 5802 | builder.pos += size; |
| 5803 | } |
| 5804 | |
| 5805 | // Outputs a number of spans to make up a line, taking highlighting |
| 5806 | // and marked text into account. |
no test coverage detected