int i = r.read();
if (i==-1) {
- /*System.err.print("\r...done \r"); */
if (indent && indentation >= 0) {
redent(indentation - lastIndentation);
- //System.err.println("\r \rindent: " + (indentation - lastIndentation));
lastIndentation = indentation;
indentation = -1;
return __next();