public void print(char ch) throws IOException
  {
    if (_startLine)
      printIndent();

    if (ch == '\r') {
      _destLine++;
    } else if (ch == '\n' && !_lastCr)
      _destLine++;

    _lastCr = ch == '\r';

    _os.print(ch);
  }
public void print ( char ch ) throws IOException { if ( _startLine ) printIndent ( ) ; if ( ch == '\r' ) { _destLine ++ ; } else if ( ch == '\n' && ! _lastCr ) _destLine ++ ; _lastCr = ch == '\r' ; _os . print ( ch ) ; }
Prints a character.