Home
last modified time | relevance | path

Searched refs:PR_SOURCE (Results 1 – 5 of 5) sorted by relevance

/plugin/code3/src/
H A Dtz.js109 var PR_SOURCE = 'src'; variable
663 tokenStyle = PR_SOURCE;
674 tokenStyle = PR_SOURCE;
1145 if (PR_SOURCE == tok.style) {
1174 if (PR_SOURCE == tok.style) {
/plugin/codeprettify/code-prettify/src/
H A Dnode_prettify.js78 * 'PR_SOURCE': string,
223 var PR_SOURCE = 'src'; variable
787 style = PR_SOURCE;
1670 'PR_SOURCE': PR_SOURCE,
H A Dprettify.js126 * 'PR_SOURCE': string,
271 var PR_SOURCE = 'src'; variable
835 style = PR_SOURCE;
1718 'PR_SOURCE': PR_SOURCE,
H A Drun_prettify.js355 * 'PR_SOURCE': string,
500 var PR_SOURCE = 'src';
1064 style = PR_SOURCE;
1947 'PR_SOURCE': PR_SOURCE,
/plugin/code3/
H A Dscript.js11 …PR_SOURCE='src';var PR_ATTRIB_NAME='atn';var PR_ATTRIB_VALUE='atv';var PR_NL='nl';var PR_TAB_WIDTH… variable