Searched refs:PR_Token (Results 1 – 2 of 2) sorted by relevance
| /plugin/code3/src/ |
| H A D | tz.js | 145 function PR_Token(token, style) { class
151 PR_Token.prototype.toString = function () {
476 lastChunk = new PR_Token(chunkText, style);
497 var chunk = new PR_Token('', null);
892 outlist.push(new PR_Token(t, PR_PLAIN));
971 outlist.push(new PR_Token(t, style));
1139 tok = new PR_Token('', null);
1184 sourceChunks.push(new PR_Token(s, PR_PLAIN));
1215 tokensOut.push(new PR_Token('</span>', null));
1317 tokensOut.push(new PR_Token('</span>', null));
[all …]
|
| /plugin/code3/ |
| H A D | script.js | 11 …PR_Token(i,I){if(undefined===I){throw new Error('BAD');}this.token=i;this.style=I}PR_Token.prototy… class
|