Re: [ jEdit-devel ] Plugin Manager API

[Stefan K. <s....@we...>]

Hi Slava,

can you please give a full example of how to do it? My problem is to get the pluginJar instace of my plugin :-(

that is what I am trying :

>jEdit.removePluginJAR(jEdit.getPluginJAR("/usr/share/jedit/recent/jars/ProjectViewer.jar"));
Sourced file: inline evaluation of: ``jEdit.removePluginJAR(jEdit.getPluginJAR("/usr/share/jedit/recent/jars/ProjectVi . . . '' : Error in method invocation: Static method removePluginJAR( null ) not found in class'org.gjt.sp.jedit.jEdit' : at Line: 1 : in file: inline evaluation of: ``jEdit.removePluginJAR(jEdit.getPluginJAR("/usr/share/jedit/recent/jars/ProjectVi . . . '' : jEdit .removePluginJAR ( jEdit .getPluginJAR ( "/usr/share/jedit/recent/jars/ProjectViewer.jar" ) ) 

The plugin is definitely there.

For developers it would even be better to have "Reload" in the context menu of the plugin-dock.
> Hi,
> 
> Try these:
> 
> jEdit.addPluginJAR() (load a plugin)
> jEdit.removePluginJAR() (unload a plugin)
> 
> To delete the file on disk, use the standard Java APIs (you can get the
> path name using jEdit.getPluginJAR(...).getPath()).
> 

Ciao
  Stefan
-- 

 < W E B M A C H E R > 
EDV+INTERNETSERVICE GMBH

FON:  +49 341 30766 101
WEB:  www.webmacher.de