@Lubos: I continue to have compatibility issues at times with PDF files produced by printing from Manager to a virtual PDF printer.
As a workaround, is there a way to add a
Save to PDF option wherever there are already
(I can’t figure out what the underlying printing problem is, but I think it has something to do with how Manager [or Internet Explorer, which appears to provide printing services for Manager] defines the fonts it uses, because my resulting PDF files created with Acrobat Distiller or with Cute PDF have random-character names for the embedded fonts [e.g.
28iku instead of
Nimbus Sans] that change every time I print another copy, and the PDF file sizes are all around 3 times larger than the same file created by Manager’s internal driver. Occasionally, trying to print to PDF results in Manager freezing and needed to be killed. Whatever the cause, the internal Manager PDF driver appears to be much more efficient and robust, so I would like to be able to print directly to it without having to resort to emailing.)