[wingide-users] printer problem

Wingware Support support at wingware.com
Mon Jun 9 12:55:52 MDT 2008


Hugh Myers wrote:
> Given the vagaries of age, I need a large font(12) for the screen, but
> muchly prefer a small font(8) for printer output. Is there a way to do
> this with scripting or will I have to copy to another editor?

We plan to add support for changing fonts when printing soon, but 
currently the same font is always used for both display and for printing.

Cheers,

John


More information about the wingide-users mailing list