.HeaderSize

Definition

The .HeaderSize contains the number of lines in the header of the page.

Datatype

The value of the .HeaderSize suffix is an integer in the range {0..``option listing_size``} and the default is 1.

Note