Print DVI ...

Prints a selected DVI file. After selecting the DVI file you'll be presented with a dialog box that depends on the current printer and the settings of ``Use Standard PostScript'' and ``Use DVIPS'' (these flags are described later). The dialog box for low-level PostScript printing (see page [*]) lets you change these printing options: What happens next depends on which dialog button you select. The default Print button will send the PostScript output to the current printer. A status box will appear and indicate what is happening to your job and warn you about any printer problems. Or you might prefer to save the PostScript output to a given text file. Any change to a check box option will be remembered the next time you print a DVI file, unless you decide to Cancel the dialog. The dialog boxes for standard PostScript printing (see page [*]) and non-PostScript printing (see page [*]) let you change various options specific to the current printer. adds some extra items at the bottom of the dialog so you can change the page increment or DVI magnification, and decide whether or not to reverse the page order, show statistics, or make missing PK fonts. Regardless of which printing method decides to use, the messages displayed in the window are almost identical. The DVI/TEX page numbers are displayed as each page is processed. Any error messages or statistics apply to the most recently displayed page numbers (although this is not true for messages sent back by a PostScript printer because these occur asynchronously). At any time you can hit Command-C or Command-Dot to cancel printing, or you can switch to another application and will continue to print in the background.