Home
last modified time | relevance | path

Searched defs:PR_PUNCTUATION (Results 1 – 4 of 4) sorted by relevance

/plugin/code3/src/
H A Dtz.js95 var PR_PUNCTUATION = 'pun'; variable
/plugin/codeprettify/code-prettify/src/
H A Dnode_prettify.js202 var PR_PUNCTUATION = 'pun'; variable
H A Dprettify.js250 var PR_PUNCTUATION = 'pun'; variable
/plugin/code3/
H A Dscript.js11 …kwd';var PR_COMMENT='com';var PR_TYPE='typ';var PR_LITERAL='lit';var PR_PUNCTUATION='pun';var PR_P… variable