[ jEdit-devel ] [jedit:patches] #483 Exclude filename from print - ID: 3525116

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:patches] #483 Exclude filename from print - ID: 3525116

Robert Schwenn-3
  • status: open --> pending-invalid
  • Group: -->
  • Comment:

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

Status: pending-invalid
Group:
Created: Thu Jan 31, 2013 04:07 AM UTC by Jon Ringeis
Last Updated: Thu Jan 31, 2013 04:07 AM UTC
Owner: nobody

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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...