[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.



More information about the wingide-users mailing list