[ jEdit-users ] Re: [ jEdit-devel ] Plugin Manager API

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

Hi

I already have a macro which allows you to specify the name of a plugin and
then reload it for you.  I can send it to you if you wish ?

Cheers
Lee

----- Original Message -----
From: "Anthony Roy" <ho...@an...>
To: <jed...@li...>
Sent: Tuesday, November 18, 2003 12:06 PM
Subject: [ jEdit-devel ] Plugin Manager API


> Slava,
>
> Would it be possible to expose a little more of the Plugin Manager API.
>
> I have ported the LaTeXTools plugin to the 4.2 API, and am impressed
> with the ease of testing due to the ability to dynamically delete the
> plugin jar, copy a new version into the jar directory and dynamically
> reload it again. Much quicker than having to shutdown jEdit each time I
> want to test a new build.
>
> However it would be nice to have access to methods to load, unload and
> delete plugins, so that I could write a macro to delete the old version
> of the plugin, copy the new version accross, and reload the plugin.
>
> Cheers,
>
> --
> Anthony Roy.
>
> e: ho...@an...
> w: http://www.ant-roy.co.uk
>
>
>
>
> -------------------------------------------------------
> This SF. Net email is sponsored by: GoToMyPC
> GoToMyPC is the fast, easy and secure way to access your computer from
> any Web browser or wireless device. Click here to Try it Free!
> https://www.gotomypc.com/tr/OSDN/AW/Q4_2003/t/g22lp?Target=mm/g22lp.tmpl
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>