Re: [ jEdit-devel ] Don't use Java 7 for anything.

[Kazutoshi S. <k_s...@f2...>]

Dale Anson wrote:
> Has anyone tried Java 7 with jEdit yet? If so, have you seen any problems?

I have run jEdit trunk r19709 (with some small local modifications) with
JRE 7, since 8/1 for a week, and saw no problems. Just FYI, though.
-- 
k_satoda