A plugin is an application which is loaded and runs as part of another, host application. Plugins respond to user commands and perform tasks that supplement the host application's features.
This chapter covers installing, updating and removing plugins. Documentation for the plugins themselves can be found in >, and information about writing plugins can be found in Part IV, “Writing Plugins”.
> displays the plugin manager window. It consists of three tabs: Manage, Update and Install. The Manage tab lists all installed plugins; clicking on a plugin in the list will display information about it.
To remove plugins, select them (multiple plugins can be selected by holding down Control) and click . This will display a confirmation dialog box first.
To view plugin documentation, select a plugin and click . Note that plugin documentation can also be accessed by invoking >.
After you have tuned jEdit to your liking and want to install the same set of plugins onto another host, or another user's profile, you can export your currently installed plugin list as an xml file, known as a PluginSet. The rollover button allows you to save the list of installed and loaded plugins to an XML file. See Section 10.3, “Plugin Sets” for more information.
> displays a dialog box for changing plugin settings.