set printeditorheader
set printeditorheader= { datemark | none | pageno | "string"}
This option specifies the content included at the top of the printed page when choosing > . The following options are available:
• datemark — Prints a datemark that identifies the document name, date, time, and user ID for the job. (The default header.)
• none — Suppresses the printing of headers.
• pageno — Prints the ordinal page number.
• ”string” — Allows you to specify a string delimited by a pair of single quotes (') or double quotes (”) to include in the header.