Bugs item #671249, was opened at 2003-01-20 11:55
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=671249&group_id=588
Category: text area and syntax packages
Group: normal bug
>Status: Closed
Resolution: None
Priority: 5
Submitted By: Steven Buroff (sburoff)
Assigned to: Nobody/Anonymous (nobody)
Summary: Can't edit java generics
Initial Comment:
I know its not part of java yet but generics are coming
and there is an early-access version of the compiler
available. JEdit gets a null pointer exception when I
try to enter a generic class. For example, try
typing:
Set<String>
I get the null pointer exception as soon as I type the
"<". This is with JEdit 4.1pre8.
Steve Buroff
sburoff@...
----------------------------------------------------------------------
Comment By: Steven Buroff (sburoff)
Date: 2003-01-30 08:59
Message:
Logged In: YES
user_id=668571
Were you able to reproduce this?
Do you think the fix will make it into 4.9? If not, java
generics might be released before Jedit supports them.
Thanks.
Steve Buroff
----------------------------------------------------------------------
Comment By: Slava Pestov (spestov)
Date: 2003-01-21 11:18
Message:
Logged In: YES
user_id=2280
What plugins do you have installed?
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=671249&group_id=588
|
