I think, this patch is obsolete now, since jEdit 5.4.0 has this capability implemented in it's own print dialog.
[patches:#483] Exclude filename from print - ID: 3525116
Created: Thu Jan 31, 2013 04:07 AM UTC by Jon Ringeis
Last Updated: Thu Jan 31, 2013 04:07 AM UTC
Gives the possibility to exclude the header with a simply dialog before printing.
Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/patches/
To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.