[ jEdit-devel ] [ jedit-Patches-3602745 ] Exclude filename from print - ID: 3525116

[SourceForge.net <no...@so...>]

Patches item #3602745, was opened at 2013-01-30 20:07
Message generated for change (Comment added) made by kerik-sf
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3602745&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Jon Ringeis (ringeis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Exclude filename from print - ID: 3525116

Initial Comment:
Gives the possibility to exclude the header with a simply dialog before printing.

----------------------------------------------------------------------

>Comment By: Eric Le Lay (kerik-sf)
Date: 2013-01-31 11:53

Message:
You should not use a new JFrame, but git it the current jEdit view
(jEdit.getCurrentView()).
Then you should use a localised message.
There is a methode GUIUtilities.confirm() that does just that.
I've just noticed that there is already an option in General > Printing for
setting this.
So, is this a good idea to ask the user each time she prints, when there is
a general option?

The feature request is not clear about this:
http://jedit.org/trackers/Feature%20Requests/3525116.html

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3602745&group_id=588