The JLense Help System

The Help system in the JLense Workbench is based on the JavaHelp help system. The JLense Workbench help system may be extended by plugins. Plugins use the extension point to contribute thier own help items to the JLense Workbench Help system.

Getting the HelpBroker

Plugins may get the Workbench's HelpBroker via the IWorkbench.getHelpBroker method.

    HelpBroker helpBroker= PlatformUI.getWorkbench().getHelpBroker();