/** * Adds a menu item for the specified help resource. * * @param resource The help resource. * @return The newly created menu item. */ public Menuitem addHelpMenu(PluginResourceHelp resource) { Menuitem menuitem = addHelpMenu(resource.getPath(), resource.getAction()); mnuTOC.setVisible(menuitem != null); return menuitem; }
/** * 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); }