Searched refs:tokenEnds (Results 1 – 1 of 1) sorted by relevance
323 function PR_splitChunks(chunks, tokenEnds) { argument335 for (var ei = 0, ne = tokenEnds.length; ei < ne; ++ei) {336 var tokenEnd = tokenEnds[ei];384 var tokenEnds = new Array();542 tokenEnds.push(new PR_TokenEnd(tokenStart, PR_PLAIN));543 tokenEnds.push(new PR_TokenEnd(k + next, tokenStyle));549 tokenEnds.push(new PR_TokenEnd(k, PR_PLAIN));551 return tokenEnds;563 var tokenEnds = new Array(); // positions of ends of tokens in absolute space575 tokenEnds.push(new PR_TokenEnd(k + i, PR_PLAIN));[all …]