Re: [ jEdit-devel ] Unloading plugins?

[Lee T. <le...@le...>]

.... or using the macro I developed..... or the ant task developed by Robert
Fletcher.

Lee

----- Original Message -----
From: "Slava Pestov" <sl...@je...>
To: <jed...@li...>
Sent: Monday, May 24, 2004 5:51 AM
Subject: Re: [ jEdit-devel ] Unloading plugins?


> Gerd Knops wrote:
>
> > Manual says:
> >
> >     "Additionally, plugins using the new jEdit 4.2 plugin API can be
> >      loaded and unloaded at any time. This is a great help when
> > developing
> >      your own plugins -- there is no need to restart the editor after
> > making
> >      changes."
> >
> > So, how does one unload/reload a plugin under development?
>
>
> In the plugin manager.
>
> Slava
>
>
> -------------------------------------------------------
> This SF.Net email is sponsored by: Oracle 10g
> Get certified on the hottest thing ever to hit the market... Oracle 10g.
> Take an Oracle 10g class now, and we'll give you the exam FREE.
> http://ads.osdn.com/?ad_id=3149&alloc_id=8166&op=click
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>