Plugin Manager

The Plugin Mangager manages the plugins in Jedi. Plugins are external program modules which can be integrated into Jedi.

You find all installed plugins in the left list. Selecting a plugin shows information about it on the right side.

Select "add to menu" to make it a menu item in the Jedi Plugin - menu. Select "add to tool bar" to add it to the editor tool bar. The Plugin appears as icon or as a complete component (e.g. text Field) in the tool bar.

The three buttons on the bottom control the plugin and are self-explanatory.

Changes have to be confirmed before being executed. It is not possible to undo changes with "Cancel".

If you experience problems concerning the appearance of icons in the tool bar, just change the tab to another and return. The error should vanish. This is an error produced by the Swing-classes.