Libraries
Libraries used by jEdit as well as standalone applications that are incorporated into plugins
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: 1860
There are 480 downloads in our database
