[ jEdit-devel ] [ jedit-Bugs-474780 ] Code2HTML NullPointerException

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

Bugs item #474780, was opened at 2001-10-25 01:10
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=474780&group_id=588

Category: plugins
Group: normal bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Code2HTML NullPointerException

Initial Comment:
To reproduce, change options for Code2HTML plugin as 
follows:-

Use CSS:      Selected
Show Gutter:  Unselected

Change to a buffer with some Java in it.
Select a portion of the text.  
Now use the plugin to HTMLize CURRENT SELECTION:- 
gives NullPointerException. It works OK for the whole 
buffer, just current selection with gutter unselected.

Please find the activity log attached.

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

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