Sorry for my lack of precision.  I'm referring to hard-copy printing, what comes out of a printer.  I find Textmate useless for producing hard-copy printouts.  

/peter

On Jul 20, 2011, at 6:34 PM, trout swim wrote:

Is that hard copy printing or what is seen by the eyeballs on the screen / terminal.

On Tue, Jul 19, 2011 at 7:34 AM, Peter Wilkins <pwilkins@mit.edu> wrote:
Can someone tell me a way to make the font size smaller for printing than the size displayed on-screen?