Package projectviewer

The ProjectViewer Plugin API.

See: Description

Package projectviewer Description

The ProjectViewer Plugin API.

External plugins can interact with the Project Viewer plugin in various ways:

This document describes how to easily extend ProjectViewer by using jEdit properties to export your plugin's functionalities to ProjectViewer, much like jEdit 4.2's deferred loading API. Parts of the old API are still available, but it is highly recommended to use the new API. It makes it much easier to extend PV without adding dependencies on the plugin, and without causing ClassNotFoundExceptions when PV is not present. The new API works with versions of jEdit equal or newer to 4.2pre12.

The new API detects when plugins are loaded/unloaded in jEdit and updates the extensions accordingly, so nothing has to be done by other plugin developers aside from providing the service descriptions in the plugin's service.xml file. When a plugin is unloaded, all extensions belonging to that plugin are removed, so there is no risk of having stray objects being held by ProjectViewer. (One exception to this is custom node handlers. See the explanation in the page about custom nodes linked above.)