Home
last modified time | relevance | path

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

/plugin/code3/src/
Dtz.js105 var PR_TAG = 'tag'; variable
654 tokenStyle = PR_TAG;
1005 var stateStyle = PR_TAG;
1010 if (PR_TAG == tok.style) {
1021 if (PR_TAG != stateStyle) {
1023 nextStyle = PR_TAG;
1043 nextStyle = PR_TAG;
1047 nextStyle = PR_TAG;
1075 nextStyle = PR_TAG;
1082 nextStyle = PR_TAG;
[all …]
/plugin/code3/
Dscript.js11 …PR_TAG='tag';var PR_DECLARATION='dec';var PR_SOURCE='src';var PR_ATTRIB_NAME='atn';var PR_ATTRIB_V…
/plugin/codeprettify/code-prettify/src/
Dprettify.js261 var PR_TAG = 'tag';
Dnode_prettify.js213 var PR_TAG = 'tag';
Drun_prettify.js490 var PR_TAG = 'tag';