| 4640 | } |
| 4641 | |
| 4642 | function buildTokenSplitSpaces(inner) { |
| 4643 | function split(old) { |
| 4644 | var out = " "; |
| 4645 | for (var i = 0; i < old.length - 2; ++i) out += i % 2 ? " " : "\u00a0"; |
| 4646 | out += " "; |
| 4647 | return out; |
| 4648 | } |
| 4649 | return function(builder, text, style, startStyle, endStyle, title) { |
| 4650 | return inner(builder, text.replace(/ {3,}/g, split), style, startStyle, endStyle, title); |
| 4651 | }; |
| 4652 | } |
| 4653 | |
| 4654 | function buildCollapsedSpan(builder, size, marker, ignoreWidget) { |
| 4655 | var widget = !ignoreWidget && marker.replacedWith; |