Home
last modified time | relevance | path

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

/plugin/code3/src/
Dtz.js111 var PR_ATTRIB_NAME = 'atn'; variable
1035 nextStyle = PR_ATTRIB_NAME;
1056 nextStyle = PR_ATTRIB_NAME;
1328 } else if (PR_ATTRIB_NAME == tok.style) {
/plugin/code3/
Dscript.js11 …PR_ATTRIB_NAME='atn';var PR_ATTRIB_VALUE='atv';var PR_NL='nl';var PR_TAB_WIDTH=8;function PR_Token…
/plugin/codeprettify/code-prettify/src/
Dprettify.js276 var PR_ATTRIB_NAME = 'atn';
Dnode_prettify.js228 var PR_ATTRIB_NAME = 'atn';
Drun_prettify.js505 var PR_ATTRIB_NAME = 'atn';