Installing Plugins

Plugins can be installed in two ways; manually, and from the plugin manager. In most cases, plugins should be installed from the plugin manager. It is easier and more convenient.

To install plugins manually, go to http://plugins.jedit.org in a web browser and follow the directions on that page.

To install plugins from the plugin manager, make sure you are connected to the Internet and click the Install Plugins button in the plugin manager window. The plugin manager will then download information about available plugins from the jEdit web site, and present a list of plugins compatible with your jEdit release which may be installed.

Click on a plugin in the list to see some information about it. To select plugins for installation, click the check box next to their names in the list.

The Total download size field shows the total size of all plugins chosen for installation, along with any plugins that will be automatically downloaded in order to fulfill dependencies. The Download size field in the plugin information area only shows the size of the currently selected plugin.

The Install source code check box controls if source code for the plugins should be downloaded and installed. Unless you are a developer, you probably don't need the source.

The two radio buttons select the location where the plugins are to be installed. Plugins can be installed in either the jars subdirectory of the jEdit installation directory, or the jars subdirectory of the user-specific settings directory. For information about the settings directory, Section , “The jEdit Settings Directory”.

Once you have specified plugins to install, click Install Plugins to begin the download process. Once all plugins have been downloaded and installed, a dialog box is shown advising that jEdit must be restarted before plugins can be used.