These control groups will appear.
Path name of the current input file.
A button to reread the input file with the above path name.
A field that displays the length of the longest line in the input file.
A field that displays the number of lines in the input file.
Radiobuttons for portrait or landscape orientation.
A field for the number of columns.
A field for the font size in points.
A field for the leading in points.
A field for the tab size in columns.
Button to rebuild the PDF. The user is assumed to
have a viewer such as
xpdf running elsewhere. When pressed,
this button will gray out until the PDF is rebuilt,
at which time the user can instruct their viewer to
reload the file.
A field for the name of the output PDF file.
A drop-down menu showing the current printer name.
Radiobuttons to select duplex or simplex printing.
Radiobuttons to select a header page or none.
A button that prints. If the input file has been modified since the PDF was last built, it is rebuilt. In any case, the PDF is sent to the printer with all currently selected options.