Reload Plugin Ant Task (jedit-ant-tasks.tar.gz v0.3 by Robert Fletcher)
Submitted by on Tuesday, 16 December, 2003 - 09:53
An Ant task that can reload a jEdit 4.2 plugin. This task can be used in plugin build.xml files to save repeatedly opening & closing the Plugin Manager. This version is aware of dependent plugins and by default also reloads them. The task can be used from within jEdit (for example, by using AntFarm), but is safe to include in build.xml files that may be used elsewhere (it will simply do nothing if jEdit is not available).
Updated on 12/16/2003 - 09:53
Downloads: 1859
