/** * Registers a help resource. * * @param resource Resource defining the help menu item to be added. */ public void registerHelpResource(PluginResourceHelp resource) { HelpModule def = HelpModule.getModule(resource.getModule()); if (def != null && helpModules.add(def)) { IHelpSet hs = HelpSetCache.getInstance().get(def); if (hs != null) { helpSets.add(hs); IHelpViewer viewer = HelpUtil.getViewer(false); if (viewer != null) { viewer.mergeHelpSet(hs); } } } desktop.addHelpMenu(resource); }