Searched refs:origIndentBufLength (Results 1 – 1 of 1) sorted by relevance
98 int origIndentBufLength = indentBuf.length(); in print() local175 indentBuf.setLength(origIndentBufLength); in print()184 int origIndentBufLength = indentBuf.length(); in print() local188 indentBuf.setLength(origIndentBufLength); in print()