- unsigned num = NewCol - ColumnScanned;
- if (NewCol < ColumnScanned || num < 1)
- num = 1;
-
- // Keep a buffer of spaces handy to speed up processing.
- const char *Spaces = " "
- " ";
-
- assert(num < MAX_COLUMN_PAD && "Unexpectedly large column padding");
- write(Spaces, num);