Searched refs:bestIndent (Results 1 – 1 of 1) sorted by relevance
137 private int bestIndent; field in Emitter190 this.bestIndent = 2; in Emitter()192 this.bestIndent = opts.getIndent(); in Emitter()196 if (opts.getWidth() > this.bestIndent * 2) { in Emitter()265 indent = bestIndent; in increaseIndent()270 this.indent += bestIndent; in increaseIndent()1291 hints.append(bestIndent); in determineBlockHints()