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.