Options Printer/de

== (**COPIED FROM ENGLISH PAGE**) ==With this option you can modify the printer settings.

 

 

OPTION	DESCRIPTION
Font	Printer font to use when printing
Setup	Click to change the printer setup
Color	Will print in color. Use this only for color printers.
Wrap lines	Wrap long lines. When not enabled, long lines will be partial shown.
Print header	Print a header with the filename.
Line numbers	Will be the line number before each line.
Syntax	Enable this to use the same syntax highlighting as the editor
Left margin	The left margin of the paper.
Right margin	The right margin of the paper.
Top margin	The top margin of the paper.
Bottom margin	The bottom margin of the paper.

Languages	English • Deutsch