Home
last modified time | relevance | path

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

/plugin/code3/src/
H A 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/
H A Dscript.js11 …PR_ATTRIB_NAME='atn';var PR_ATTRIB_VALUE='atv';var PR_NL='nl';var PR_TAB_WIDTH=8;function PR_Token… variable
/plugin/codeprettify/code-prettify/src/
H A Dnode_prettify.js228 var PR_ATTRIB_NAME = 'atn'; variable
H A Dprettify.js276 var PR_ATTRIB_NAME = 'atn'; variable
H A Drun_prettify.js505 var PR_ATTRIB_NAME = 'atn';