}
//print("WHITE = " + JSON.stringify(found));
if (this.collapseWhite) {
- found = " "; // this might work better if it was a ';' ???
+ found = " "; // this might work better if it was a '\n' ???
+ }
+ if (this.keepWhite) {
+ tokens.push(new Token(found, "WHIT", "SPACE", this.line));
}
- if (this.keepWhite) tokens.push(new Token(found, "WHIT", "SPACE", this.line));
return true;
},