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.js223 var PR_SOURCE = 'src'; variable
787 style = PR_SOURCE;
H A Dprettify.js271 var PR_SOURCE = 'src'; variable
835 style = PR_SOURCE;
H A Drun_prettify.js500 var PR_SOURCE = 'src';
1064 style = 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