[ jEdit-users ] Two questions

[Zoltán K. <zo...@be...>]

1) Is this list still active?

2) Is it possible to find the plugins for 4.2final version of jEdit? I
would prefer to use 4.2 over 4.3 (4.3 freezed on me a few times and I
had other issues with it too). I have 4.2 but it just can't get the
plugins. Is there a repository of the 4.2 plugins? If yes, how can I
tell jEdit's Plugin Manager to go there rather than the default?

Thanks,

Zoltan