5 Dec
2005
5 Dec
'05
2:19 p.m.
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.