Padding means outputting null characters following a terminal display
command that takes a long time to execute. The terminal description says
which commands require padding and how much; the function
described below, outputs a terminal command while extracting from it the
padding information, and then outputs the padding that is necessary.
Go to the first, previous, next, last section, table of contents.