void write_prefix() {
if (m_write_change_ops) {
write_spaces(4);
} else {
write_spaces(2);
}
}
/* Add spaces to block out stale output */
void append_spaces_if_shrunk( char *buffer, int width)
{
static size_t previous;
size_t current;
int count, max_spaces;
current = strlen( buffer);
max_spaces = width - current;
if( previous > current) {
count = (previous-current) < max_spaces ? (previous-current) : \
max_spaces;
write_spaces( &buffer [current], count);
}
previous = current;
}
