The Print Options Dialog is used to update print options.
<p>
Margins can be set by selecting the desired margin.
<p>
Selecting the File Name option enables the file name to be printed
at the top of each page.
<p>
Selecting the Page Numbers option enables a page number to be printed
on each page. If the File Name option is selected, the Page Number
will be printed following the file name at the top of the page.
Otherwise the Page Number will be printed at the bottom of each page.
<p>
Selecting the Line Numbers option enables printing of line numbers
before each line.
<p>
Selecting the Bold option will cause the page to be printed in a
bold font.
<p>
Selecting the point size will cause the page to be printed out in the selected point size.
<p>
Note: To make changes permanent, options must be saved using the "Options/Save options" pulldown.
<br>
