|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
ProjectManager | This class takes care of the global project configuration, that is, the list of configured projects. |
ProjectPlugin | A Project Viewer plugin for jEdit. |
ProjectViewer | Main GUI for the project viewer plugin. |
PVActions | A collection of actions accessible through jEdit's Action mechanism, and other utility methods that may be interesting for interacting with the plugin. |
PVMenuProvider | Dynamic menu implementation for jEdit 4.2. |
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 setting the properties described below. 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.)
In all documents, references to class name mean the name of the main class of the plugin (e.g., projectviewer.ProjectPlugin for ProjectViewer).
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |