/** Decreases the current indent level one level. */ public void unindent() { setIndentLevel(this.indentLevel - 1); }
/** Increases the current indent level one level. */ public void indent() { setIndentLevel(this.indentLevel + 1); }