The Plugin Manager By Slava Pestov
sp@gjt.org

The plugin manager provides an easy way to uninstall, install and update plugins. Detailed documentation can be found in the Using Plugins chapter of the jEdit user's guide.

To Do