Searched refs:tokenEnds (Results 1 – 1 of 1) sorted by relevance
487 function PR_splitChunks(chunks, tokenEnds) { argument498 for (var ei = 0, ne = tokenEnds.length, lastEnd = 0; ei < ne; ++ei) {499 var tokenEnd = tokenEnds[ei];550 var tokenEnds = [];718 tokenEnds.push(new PR_TokenEnd(tokenStart, PR_PLAIN));721 tokenEnds.push(new PR_TokenEnd(k + next, tokenStyle));727 tokenEnds.push(new PR_TokenEnd(k, PR_PLAIN));729 return tokenEnds;741 var tokenEnds = []; // positions of ends of tokens in absolute space761 tokenEnds.push(new PR_TokenEnd(k + i, PR_PLAIN));[all …]