Re: [ jEdit-users ] Two questions

[Dale A. <da...@gr...>]

1) Yes.  It's not a high volume list and never has been.  Most jEdit
developers follow this list pretty closely and respond quickly to user
issues.

2) Whatever Plugin Manager shows is available is all there is.  Most plugin
developers have moved on to use jEdit 4.3 (or even 4.4) and don't maintain
4.2 compatible plugins.  4.3 is actually quite stable, it would be best if
you could use it and post bug reports if you have problems.

Dale


On Mon, Jul 19, 2010 at 4:12 AM, Zoltán Kócsi <zo...@be...> wrote:

> 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
>
>
> ------------------------------------------------------------------------------
> This SF.net email is sponsored by Sprint
> What will you do first with EVO, the first 4G phone?
> Visit sprint.com/first -- http://p.sf.net/sfu/sprint-com-first
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>