>>>>> "Richard" == Richard Heck <[EMAIL PROTECTED]> writes:
Richard> This patch fixes this problem by changing the label to "Add Richard> Printer Name to Printer Command" and changing the tooltip to Richard> "Check this box if you will sometimes use a printer other Richard> than the default". I am not sure that the new label really conveys better what it does. So, why was this thing useful? Printing without the option would be: dvips foo.dvi -o foo.ps lpr -Pprinter foo.ps whereas, with the option, one would get dvips foo.dvi -Pprinter -o foo.ps lpr -Pprinter foo.ps Why s this different? Well, dvips gets to know the type of printer it has to generate output for, and this was quite important in the older days where most fonts were generated by metafont. The parameters for each printer model allow to make fonts lighter or bolder according to the idiosyncrasies of the printer technology. Another use is to set correctly the printer dpi. So the meaning is something like "generate postscript adapted to this particular printer". But of course, if dvips has not been configured to know this printer, all you get is an error. Does this help? JMarc