(builder, size, widget)
| 4050 | } |
| 4051 | |
| 4052 | function buildCollapsedSpan(builder, size, widget) { |
| 4053 | if (widget) { |
| 4054 | if (!builder.display) widget = widget.cloneNode(true); |
| 4055 | builder.pre.appendChild(widget); |
| 4056 | if (builder.measure && size) { |
| 4057 | builder.measure[builder.pos] = widget; |
| 4058 | builder.addedOne = true; |
| 4059 | } |
| 4060 | } |
| 4061 | builder.pos += size; |
| 4062 | } |
| 4063 | |
| 4064 | // Outputs a number of spans to make up a line, taking highlighting |
| 4065 | // and marked text into account. |