private void append(StreamType type, String format, Object[] args) {
StringBuilder builder = new StringBuilder();
for (int i = 0; i < indent; i++) {
builder.append(" "); // $NON-NLS-1$
}
builder.append(format);
if (args == null) {
console.append(type, builder.toString());
} else {
Object[] translated = new Object[args.length];
for (int i = 0; i < translated.length; i++) {
translated[i] = Texts.get(args[i]);
}
console.append(type, String.format(builder.toString(), translated));
}
}
private void wrap() {
console.wrap();
}
