Lines Matching full:spanend
3188 var spanEnd = spans[spanIndex + 2] || sourceLength;
3192 var end = Math.min(spanEnd, decEnd);
3214 if (sourceIndex < spanEnd) { // Split off a text node.
3217 = document.createTextNode(source.substring(end, spanEnd));
3224 if (sourceIndex >= spanEnd) {
