FastStringBuffer b = new FastStringBuffer();
int colCount = table.getColumnCount();
for( int i=0; i<colCount; i++ ) {
int sz = Math.min(table.getColumnSize(i),getMaxColSize());
b.append( '+' );
b.repeat( '-', sz );
}
b.append( '+' );
println( b.toString() );
}
private void prtHeader() throws Exception {