code: public void println(int tempIndent, char x) {
      if (startOfLine) {
        doIndent(tempIndent);
      }
      super.println(x);
      startOfLine = true;
    }
docs: Indent the current line and print a character on the same line,
  then print a line break
  @param tempIndent magnitude of the indent (number of tab spaces)
  @param x character to be printed