The JLense Help SystemThe 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 org.jlense.help.contributions extension point to contribute thier own help items to the JLense Workbench Help system. Getting the HelpBrokerPlugins may get the Workbench's HelpBroker via the IWorkbench.getHelpBroker method. HelpBroker helpBroker= PlatformUI.getWorkbench().getHelpBroker(); |