[wingide-users] printer problem

Hugh Myers hsmyers at gmail.com
Sun Jun 8 02:24:48 MDT 2008

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?


More information about the wingide-users mailing list