<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">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. <div><br></div><div>/peter<br><div><br><div><div>On Jul 20, 2011, at 6:34 PM, trout swim wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">Is that hard copy printing or what is seen by the eyeballs on the screen / terminal.<br><br><div class="gmail_quote">On Tue, Jul 19, 2011 at 7:34 AM, Peter Wilkins <span dir="ltr"><<a href="mailto:pwilkins@mit.edu">pwilkins@mit.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; position: static; z-index: auto; ">Can someone tell me a way to make the font size smaller for printing than the size displayed on-screen?</blockquote></div></blockquote></div></div></div></body></html>