On 5/12/2005, at 15:12, Jeremy Wilkins wrote:

Is there anyway to change the font size when printing. Currently its too large for practical use.

Currently it uses the document font (which can be changed). There's a View Source as PDF in the Source bundle which use enscript (and assumes the WebView can show PDFs), so it does a bit of syntax highlight -- this might be advantageous to use until the native printing gets improved.