Preferences - Print

Use this preference page to specify the page and content options used when printing documents.

Option

Description

Default

Line numbers If selected, line numbers are added before each line when a file is printed from the editor. Off
Sequence numbers If selected, sequence numbers are added before each line when a file is printed from the editor. Off
Tokenized If selected, highlighting effects used by the document parser to display language elements are sent to the printer. On
Top margin Type an integer to increase or decrease the size of the top margin when printing text. 50
Bottom margin Type an integer to increase or decrease the size of the bottom margin when printing text. 50
Left margin Type an integer to increase or decrease the size of the left margin when printing text. 50
Right margin Type an integer to increase or decrease the size of the right margin when printing text. 50
Header Type text to print as a header line on each page.  The text can contain the following substitution variables:
  • %p:  Page number
  • %n:  Source name, base file name, or document name
  • %f:  Full-path file name or document name
  • %d:  Date
  • %t:  Time.
Footer Type text to print as a footer line on each page.  The text can contain the following substitution variables:
  • %p:  Page number
  • %n:  Source name, base file name, or document name
  • %f:  Full-path file name or document name
  • %d:  Date
  • %t:  Time.