[ jEdit-devel ] [ jedit-Bugs-508189 ] printing broken in 4.0pre4

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

Bugs item #508189, was opened at 2002-01-24 15:00
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=508189&group_id=588

Category: editor core
Group: minor bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: printing broken in 4.0pre4

Initial Comment:
when global options for printing is set to no options 
(no banner, no line numbers, no footer) printing 
request fails and returns a 
"java.lang.NullPointerException"
on RH 7.2 Sun JRE 1.4RC


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

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=508189&group_id=588