----- Original Message -----
From: "Slava Pestov" <slava@...>
Sent: Thursday, May 29, 2003 6:19 AM
Subject: Re: [ jEdit-users ] pb with latest dowload manager from cvs
> On Wed, May 28, 2003 at 11:21:25AM +0200, lio-sand wrote:
> > Hi Slava,
> > with the latest cvs version of jEdit 4.1pre2 and sun sdk 1.4.1_02, I
> > install any plugin via the plugin manager. Selecting a plugin from the
> > and clicking the install button just open the install dialog but nothing
> > done (no data transfert).
> Ugh, I commented out some code meaning to fix it later but forgot! So it
> does nothing because the relevant method compiles down to a no-op.
I see ;-)
> > Plus when I select a preferred mirror from the
> > plugin manager option pane it doesn't seems to be recorded in properties
> > next time I open this option pane no mirror is displayed. I got no
> > errors in the activity log. Tell me if you need more info.
> I cannot reproduce this. Note that in any case you have to click 'Update
> Mirror List' to see the list.
Ok, I think I was troubled because the list was always empty without
updating the list.
But it would be more convenient (but not indispensable though) to have a
reminder somewhere of the selected mirror.