Home
last modified time | relevance | path

Searched refs:PR_isSpaceChar (Results 1 – 2 of 2) sorted by relevance

/plugin/code3/src/
H A Dtz.js225 function PR_isSpaceChar(ch) { function
826 var isSpace = PR_isSpaceChar(ch);
887 } else if (!PR_isSpaceChar(ch)) {
914 PR_isSpaceChar(ch)) {
963 } else if (!PR_isSpaceChar(ch0)) {
1031 if (PR_isSpaceChar(ch)) { state = 2; }
1034 if (!PR_isSpaceChar(ch)) {
1045 } else if (PR_isSpaceChar(ch)) {
1054 } else if (!PR_isSpaceChar(ch)) {
1066 } else if (!PR_isSpaceChar(ch)) {
[all …]
/plugin/code3/
H A Dscript.js11 …PR_isSpaceChar(i){return"\t \r\n".indexOf(i)>=0}function PR_isDigitChar(i){return i>='0'&&i<='9'}f… function